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.16 used (32% off) $236.18 new (6% 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
Hirohiko Kushida (2010). The Modal Logic of Gödel Sentences. Journal of Philosophical Logic 39 (5):577 - 590.
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.
Andrzej Indrzejczak (2011). Possible Worlds in Use. Studia Logica 99 (1-3):229-248.
Heinrich Wansing (2010). The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW] Journal of Philosophical Logic 39 (4):369 - 393.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2010). The Modal Logic of Stone Spaces: Diamond as Derivative. Review of Symbolic Logic 3 (1):26-40.
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 downloads27 ( #91,473 of 1,696,507 )
Recent downloads (6 months)8 ( #69,748 of 1,696,507 )
How can I increase my downloads?