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||$171.95 used (32% off) $222.26 new (12% 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
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.
Rutger Kuyper (2014). Natural Factors of the Medvedev Lattice Capturing IPC. Archive for Mathematical Logic 53 (7-8):865-879.
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.
Tomoyuki Suzuki (2011). Canonicity Results of Substructural and Lattice-Based Logics. Review of Symbolic Logic 4 (1):1-42.
Similar books and articles
Richard Sylvan (1988). Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic? Philosophical Studies 53 (1):147 - 151.
George Englebretsen & Charles Sayward (2010). Philosophical Logic: An Introduction to Advanced Topics. Continuum.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
Added to index2009-01-28
Total downloads34 ( #95,542 of 1,726,249 )
Recent downloads (6 months)11 ( #61,095 of 1,726,249 )
How can I increase my downloads?