|
|
|
|
LEADER |
02467nmm a2200313 u 4500 |
001 |
EB000400557 |
003 |
EBX01000000000000000253610 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9789400700024
|
100 |
1 |
|
|a Braüner, Torben
|
245 |
0 |
0 |
|a Hybrid Logic and its Proof-Theory
|h Elektronische Ressource
|c by Torben Braüner
|
250 |
|
|
|a 1st ed. 2011
|
260 |
|
|
|a Dordrecht
|b Springer Netherlands
|c 2011, 2011
|
300 |
|
|
|a XIII, 231 p
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Logic
|
653 |
|
|
|a Formal Languages and Automata Theory
|
653 |
|
|
|a Machine theory
|
653 |
|
|
|a Mathematical Logic and Foundations
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Applied Logic Series
|
028 |
5 |
0 |
|a 10.1007/978-94-007-0002-4
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-94-007-0002-4?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 160
|
520 |
|
|
|a 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)
|