Cut Elimination in Nested Sequents for Intuitionistic Modal Logics

DOI10.1007/978-3-642-37075-5_14zbMath1260.03106OpenAlexW207654131MaRDI QIDQ4910421

Lutz Straßburger

Publication date: 18 March 2013

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-37075-5_14

Mathematics Subject Classification ID

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

Related Items (16)

Intuitionistic non-normal modal logics: a general framework ⋮ MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Game semantics for constructive modal logic ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ A pure view of ecumenical modalities ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ A framework for intuitionistic grammar logics ⋮ Maehara-style modal nested calculi ⋮ Modal interpolation via nested sequents ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ Unnamed Item ⋮ Focused and Synthetic Nested Sequents ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics

This page was built for publication: Cut Elimination in Nested Sequents for Intuitionistic Modal Logics