On Nested Sequents for Constructive Modal Logics

DOI10.2168/LMCS-11(3:7)2015zbMath1347.03038arXiv1505.06896MaRDI QIDQ3196338

Anupam Das, Ryuta Arisaka, Lutz Straßburger

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

modal logicintuitionistic logiccut-eliminationnested sequents

Mathematics Subject Classification ID

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

Related Items (6)

Intuitionistic non-normal modal logics: a general framework ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ The Došen square under construction: a tale of four modalities ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Maehara-style modal nested calculi

This page was built for publication: On Nested Sequents for Constructive Modal Logics