Modularisation of Sequent Calculi for Normal and Non-normal Modalities

DOI10.1145/3288757zbMath1433.03131arXiv1702.08193OpenAlexW2964142950WikidataQ128346430 ScholiaQ128346430MaRDI QIDQ4633639

Elaine Pimentel, Björn Lellmann

Publication date: 3 May 2019

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

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

zbMATH Keywords

modal logicproof theorylabelled systemslinear nested sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (11)

A linear logic framework for multimodal logics ⋮ Intuitionistic non-normal modal logics: a general framework ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ A fresh view of linear logic as a logical framework ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D

This page was built for publication: Modularisation of Sequent Calculi for Normal and Non-normal Modalities