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...
| 主要作者: | |
|---|---|
| 企業作者: | |
| 格式: | Electronic Resource |
| 語言: | English |
| 出版: |
Dordrecht, Netherlands
Springer Dordrecht
2011.
|
| 叢編: | Applied logic series
Volume 37 |
| 主題: | |
| 在線閱讀: | Available for UP System via SpringerLink. |