An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...
Abstract: This chapter contains sections titled: Introduction, Dynamic Predicate Logic and Its Semantics, Quantified Dynamic Logic, Dynamic Entailment for DPL Programs, A Calculus for QDL with Proper ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results