Hybrid Logic and its Proof-Theory
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is use...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2011, 2011
|
| Edition: | 1st ed. 2011 |
| Series: | Applied Logic Series
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Preface,
- 1 Introduction to Hybrid Logic
- 2 Proof-Theory of Propositional Hybrid Logic
- 3 Tableaus and Decision Procedures for Hybrid Logic
- 4 Comparison to Seligman’s Natural Deduction System
- 5 Functional Completeness for a Hybrid Logic
- 6 First-Order Hybrid
- 7 Intensional First-Order Hybrid Logic
- 8 Intuitionistic Hybrid Logic
- 9 Labelled Versus Internalized Natural Deduction
- 10 Why does the Proof-Theory of Hybrid Logic Behave soWell? - References
- Index