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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Edizione: | 1st ed. 2011. |
| Serie: | Applied Logic Series
37 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 26 février 2013 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Hybrid logic and its proof-theory, by Torben Braüner, [Dordrecht], Springer, 2011, 1 vol. (XIII-231 p.), Applied logic series, 978-94-007-0001-7 |
Sommario:
- 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