scientific article

zbMath1254.03033MaRDI QIDQ2904053

Linda Postniece, Rajeev Goré, Alwen Tiu

Publication date: 5 August 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut eliminationbi-intuitionistic logicintuitionistic modal logicdeep inferenceintuitionistic tense logic

Mathematics Subject Classification ID

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

Related Items

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), Terminating calculi and countermodels for constructive modal logics, Hennessy-Milner properties via topological compactness, A more general general proof theory, Reprint of: ``A more general general proof theory, On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\), Algorithmic correspondence for intuitionistic modal mu-calculus, Modal interpolation via nested sequents, Consistency, Completeness, and Classicality, Prawitz, Proofs, and Meaning, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality, A proof-theoretic approach to negative translations in intuitionistic tense logics, On the Blok-Esakia Theorem