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 ...
An introduction to modal and many-valued logics, with emphasis on philosophical motivation through a study of applications and paradoxes. Reading: PP, selections from Chs. 11-12.
A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results