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

Full description

Bibliographic Details

Main Author:	Braüner, Torben (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic Resource
Language:	English
Published:	Dordrecht, Netherlands Springer Dordrecht 2011.
Series:	Applied logic series Volume 37
Subjects:	Proof theory. Logic, Symbolic and mathematical.
Online Access:	Available for UP System via SpringerLink.