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.97 used (67% off) $39.89 new (36% off) $62.00 direct from Amazon Amazon page|
|Call number||QA9.46.P67 1994|
|ISBN(s)||052146482X 0521057930 9780521464826|
References found in this work BETA
No references found.
Citations of this work BETA
Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.
Similar books and articles
Modal Logic From Kant to Possible Worlds Semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge University Press.
Added to index2009-01-28
Total downloads21 ( #235,740 of 2,164,535 )
Recent downloads (6 months)1 ( #347,995 of 2,164,535 )
How can I increase my downloads?