Oxford, England: Oxford University Press (1997)
AbstractFor a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume.
Similar books and articles
Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
Added to PP
Historical graph of downloads
Citations of this work
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.
References found in this work
No references found.