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

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

• 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
• 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