David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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||$22.00 used (80% off) $43.72 new (13% off) $105.45 direct from Amazon (5% off) Amazon page|
|Call number||QA9.46.P67 1994|
|ISBN(s)||052146482X 0521057930 9780521464826|
|Through your library||Configure|
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 downloads13 ( #98,897 of 1,006,223 )
Recent downloads (6 months)1 ( #64,735 of 1,006,223 )
How can I increase my downloads?