Encoding Modal Logics in Logical Frameworks
Avron, Arnon ; Honsell, Furio ; Miculan, Marino ; Paravano, Cristian
- Link zu diesem Datensatz
- https://d-nb.info/1295864517
- Titel
- Encoding Modal Logics in Logical Frameworks
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
- Autor(en)
-
- Avron, Arnon
- Honsell, Furio
- Miculan, Marino
- Paravano, Cristian
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 1998
- Umfang/Format
- Online-Ressource
- DOI
- 10.1023/A:1005060022386
- Online
- https://doi.org/10.1023/A:1005060022386
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Studia logica
- Enthalten in: Studia logica
- Enthalten in: Studia logica
- Stand
- 13.07.2023 21:38
- Im Katalog seit
- 07.03.2026