A sequent calculus for first-order dynamic logic with trace modalities

; Schlager, S.

Seitenaufrufe: 8
seit 13.05.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Buchaufsatz
Publikationsjahr	2001
Sprache	Englisch
Identifikator	KITopen-ID: 29352001
Erscheinungsvermerk	In: Automated reasoning. IJCAR 2001. Ed.: R. Gore. Berlin 2001. S. 626-641. (Lecture notes in computer science. 2083.)