Hybrid Logic and its Proof-Theory

  • Torben Braüner

Part of the Applied Logic Series book series (APLS, volume 37)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Torben Braüner
    Pages 1-20
  3. Torben Braüner
    Pages 21-57
  4. Torben Braüner
    Pages 109-126
  5. Torben Braüner
    Pages 127-152
  6. Torben Braüner
    Pages 153-169
  7. Torben Braüner
    Pages 171-201
  8. Torben Braüner
    Pages 203-210
  9. Back Matter
    Pages 221-231

About this book


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


Computational Logic Logic Mathematical logic Philosophical logic

Authors and affiliations

  • Torben Braüner
    • 1
  1. 1.Programming, Logic & Intelligent, Systems Research Group (PLIS)Roskilde UniversityRoskildeDenmark

Bibliographic information