Graduate studies at Western
Cambridge University Press (1994)
|Abstract||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) $44.58 new (11% off) $45.06 direct from Amazon (10% 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.
Alexander Chagrov (1997). Modal Logic. Oxford University Press.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
George Englebretsen & Charles Sayward (2010). Philosophical Logic: An Introduction to Advanced Topics. continuum.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
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.
Added to index2009-01-28
Total downloads13 ( #95,639 of 739,354 )
Recent downloads (6 months)1 ( #61,680 of 739,354 )
How can I increase my downloads?