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

zbMATH Open0852.00019MaRDI QIDQ1815557FDOQ1815557

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• 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)