Modular sequent calculi for classical modal logics

DOI10.1007/s11225-014-9556-1zbMath1382.03042OpenAlexW2058636048MaRDI QIDQ2350219

Paolo Maffezioli, David R. Gilbert

Publication date: 18 June 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9556-1

zbMATH Keywords

neighborhood semanticsclassical modal logicslabelled sequent systems

Mathematics Subject Classification ID

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

Related Items (5)

Intuitionistic non-normal modal logics: a general framework ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Uses Software

• Pesca

Cites Work

• Proof analysis in modal logic
• Sequent calculi and decision procedures for weak modal systems
• Proofs and countermodels in non-classical logics
• Proof Analysis
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Normal monomodal logics can simulate all others
• Universal grammar
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modular sequent calculi for classical modal logics