Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993

MaRDI QIDQ1815557zbMATH OpenFDO

Authors

Publication date 14 November 1996

Published in Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

Proof theoryProceedingsWorkshopModal logicHamburg (Germany)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(3)

• scientific article; zbMATH DE number 7730412 (Why is no real title available?)
• Proof analysis in intermediate logics
• Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom

This page was built for publication: Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815557)