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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Braüner, Torben (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Applied Logic Series ; 37
Temas:
Logic.
Machine theory.
Mathematical logic.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares