First steps in modal logic
by Sally Popkorn
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.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Modality (Logic)| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
|
zzzz
|
3
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. 311-314).
Classifications
External Links
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 8, 2025 | Edited by MARC Bot | import existing book |
| November 18, 2020 | Edited by MARC Bot | import existing book |
| August 18, 2020 | Edited by ImportBot | import existing book |
| August 28, 2019 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |