David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1994)
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.
|Categories||categorize this paper)|
|Buy the book||$20.99 used (67% off) $42.97 new (31% off) $62.00 direct from Amazon Amazon page|
|Call number||QA9.46.P67 1994|
|ISBN(s)||052146482X 0521057930 9780521464826|
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
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5/6):507 - 544.
Alessio Moretti (2009). The Geometry of Standard Deontic Logic. Logica Universalis 3 (1):19-57.
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5-6):507-544.
Katarina Britz, Johannes Heidema & Ivan Varzinczak (2011). Constrained Consequence. Logica Universalis 5 (2):327-350.
Similar books and articles
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
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.
Alexander Chagrov (1997). Modal Logic. Oxford University Press.
Added to index2009-01-28
Total downloads20 ( #232,489 of 1,940,952 )
Recent downloads (6 months)1 ( #457,800 of 1,940,952 )
How can I increase my downloads?