David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1997)
For 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.
|Categories||categorize this paper)|
|Buy the book||$166.59 used (34% off) $241.01 new (4% off) $250.00 direct from Amazon Amazon page|
|Call number||QA9.46.C47 1997|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Rutger Kuyper (2014). Natural Factors of the Medvedev Lattice Capturing IPC. Archive for Mathematical Logic 53 (7-8):865-879.
Mauro Ferrari, Camillo Fiorentini & Guido Fiorino (2009). A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications. Journal of Applied Non-Classical Logics 19 (2):149-166.
Johan van Benthem (2012). The Range of Modal Logic. Journal of Applied Non-Classical Logics 9 (2-3):407-442.
Sergei P. Odintsov (2009). On Axiomatizing Shramko-Wansing's Logic. Studia Logica 91 (3):407 - 428.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2005). Some Results on Modal Axiomatization and Definability for Topological Spaces. Studia Logica 81 (3):325 - 355.
Similar books and articles
Richard Sylvan (1988). Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic? Philosophical Studies 53 (1):147 - 151.
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
George Englebretsen & Charles Sayward (2010). Philosophical Logic: An Introduction to Advanced Topics. Continuum.
Added to index2009-01-28
Total downloads29 ( #106,363 of 1,724,718 )
Recent downloads (6 months)10 ( #64,680 of 1,724,718 )
How can I increase my downloads?