Modular Sequent Systems for Modal Logic

DOI10.1007/978-3-642-02716-1_12zbMath1180.03024OpenAlexW1607069510MaRDI QIDQ3648728

Lutz Straßburger, Kai Brünnler

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_12

zbMATH Keywords

completenesscut-free sequent systemsnormal modal logicsnested sequentssyntactic cut elimination

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Realization for justification logics via nested sequents: modularity through embedding

This page was built for publication: Modular Sequent Systems for Modal Logic