Free-variable tableaux for propositional modal logics
Beckert, Bernhard
; Gore, Rajeev
; Gore, Rajeev| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2001 |
| Sprache | Englisch |
| Identifikator | ISSN: 0039-3215 KITopen-ID: 30552001 |
| Erschienen in | Studia logica |
| Verlag | Springer |
| Band | 69 |
| Heft | 1 |
| Seiten | 59-96 |