From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

DOI10.1145/3461661zbMath1505.03054arXiv2007.11875OpenAlexW3175065535WikidataQ130845881 ScholiaQ130845881MaRDI QIDQ5034227

Margherita Zorzi, Simone Martini, Andrea Masini

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.11875

zbMATH Keywords

normalizationnatural deductionintuitionistic logic2-sequentslinear nested sequents

Mathematics Subject Classification ID

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

Related Items (2)

Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi

This page was built for publication: From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics