scientific article; zbMATH DE number 6863870

zbMath1385.03023MaRDI QIDQ4636304

Lutz Straßburger, Sonia Marin

Publication date: 23 April 2018

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

zbMATH Keywords

modal logiccut eliminationHilbert axiomsnested 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 (16)

Power and Limits of Structural Display Rules ⋮ 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 ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ An Analytic Propositional Proof System on Graphs ⋮ Intuitionistic common knowledge or belief ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Formalized meta-theory of sequent calculi for linear logics ⋮ Maehara-style modal nested calculi ⋮ Formalized meta-theory of sequent calculi for substructural logics ⋮ Unnamed Item ⋮ Focused and Synthetic Nested Sequents

This page was built for publication: