Hybrid Logic and its Proof-Theory
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
139.09 €
Produktdetails
Produktinformationen zu „Hybrid Logic and its Proof-Theory “
Klappentext zu „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 useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).
Inhaltsverzeichnis zu „Hybrid Logic and its Proof-Theory “
- 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
Bibliographische Angaben
- Autor: Torben Braüner
- 2010, 231 Seiten, Maße: 16,7 x 24,2 cm, Gebunden, Englisch
- Verlag: Springer Netherlands
- ISBN-10: 9400700016
- ISBN-13: 9789400700017
Sprache:
Englisch
Kommentar zu "Hybrid Logic and its Proof-Theory"
0 Gebrauchte Artikel zu „Hybrid Logic and its Proof-Theory“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Hybrid Logic and its Proof-Theory".
Kommentar verfassen