Kripke's worlds : : an introduction to modal logics via Tableaux / / Olivier Gasquet [and three others].
Saved in:
| : | |
|---|---|
| Place / Publishing House: | Basel ;, New York : : Springer,, [2014] 2014 |
| Year of Publication: | 2014 |
| Language: | English |
| Series: | Studies in universal logic
|
| Online Access: | |
| Physical Description: | 1 online resource (208 pages) :; illustrations |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Preface
- 1 Modelling things with graphs
- 2 Talking about graphs
- 3 The basics of the model construction method
- 4 Logics with simple constraints on models
- 5 Logics with transitive accessibility relations
- 6 Model Checking
- 7 Modal logics with transitive closure
- Bibliography
- Index.