KIT | KIT-Bibliothek | Impressum | Datenschutz

Free-variable tableaux for propositional modal logics

Beckert, Bernhard; Gore, Rajeev



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2001
Sprache Englisch
Identifikator ISSN: 0039-3215
KITopen ID: 30552001
Erschienen in Studia logica
Band 69
Heft 1
Seiten 59-96
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page