Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993
From MaRDI portal
Publication:1815557
zbMath0852.00019MaRDI QIDQ1815557
No author found.
Publication date: 14 November 1996
Published in: Applied Logic Series (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Proof analysis in intermediate logics ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
