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 ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 49, No. 2 (1990), pp. 197-214 (18 pages) We illustrate, with three examples, the interaction between boolean and modal connectives by ...

This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...

Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...

Tradition states that above the entrance to Plato’s Academy were inscribed the words, “Let no one ignorant of geometry enter here.” A student in the modal logic interim course studies how subjunctives ...

Do you suffer from anxiety in your everyday life? This blog shows how a form of logic known as alethic modal logic can be used with logic-based therapy (LBT) to construct the emotional reasoning that ...