books.google.com - 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...http://books.google.com/books/about/Hybrid_Logic_and_its_Proof_Theory.html?id=rug3ZI9ekAUC&q=intensional+%EF%AC+rst-order+hybrid&utm_source=gb-gplus-shareHybrid Logic and its Proof-Theory

Get this book in print
## Hybrid Logic and its Proof-TheoryBy Torben Braüner |