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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Edición: | 1st ed. 2011. |
| Colección: | Applied Logic Series
37 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 26 février 2013 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Hybrid logic and its proof-theory, by Torben Braüner, [Dordrecht], Springer, 2011, 1 vol. (XIII-231 p.), Applied logic series, 978-94-007-0001-7 |