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...
| Päätekijä: | |
|---|---|
| Yhteisötekijä: | |
| Aineistotyyppi: | Electronic Resource |
| Kieli: | English |
| Julkaistu: |
Dordrecht, Netherlands
Springer Dordrecht
2011.
|
| Sarja: | Applied logic series
Volume 37 |
| Aiheet: | |
| Linkit: | Available for UP System via SpringerLink. |