Does the deduction theorem fail for modal logic?

DOI10.1007/S11229-011-9905-9zbMath1275.03091OpenAlexW2134929682MaRDI QIDQ383061

Sara Negri, Raul Hakli

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9905-9

zbMATH Keywords

modal logicsequent calculusdeduction theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (24)

A dual-context sequent calculus for the constructive modal logic S4 ⋮ Roads to necessitarianism ⋮ On interactive proof-search for constructive modal necessity ⋮ Modality via iterated enrichment ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Axiomatizations of team logics ⋮ Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Is, ought, and cut ⋮ Multimodal incompleteness under weak negations ⋮ The Church-Fitch knowability paradox in the light of structural proof theory ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Basic intuitionistic conditional logic ⋮ Proofs and countermodels in non-classical logics ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ⋮ The Context of Inference ⋮ Meaning in Use ⋮ Unnamed Item ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simple consequence relations
• Proof analysis in modal logic
• Natural deduction for non-classical logics
• Untersuchungen über das logische Schliessen. I
• Effective completeness theorems for modal logic
• The deduction theorem in S4, S4.2, and S5
• On the definition of ‘formal deduction’
• New foundations for Lewis modal systems
• A completeness theorem in modal logic
• What is an inference rule?
• Strict implication, deducibility and the deduction theorem
• The deduction theorem in a functional calculus of first order based on strict implication

This page was built for publication: Does the deduction theorem fail for modal logic?