|
|
Hybrid Logic and its Proof-Theory
This book 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.... |
 |
|
|
| Download PDF |
| Hybrid Logic and its Proof-Theory |
|
