Hybrid Logic and its Proof-Theory

• Main Author: Braüner, Torben (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Applied Logic Series, 37
• Subjects: Philosophy.; Logic.; Mathematical logic.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

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