Does the deduction theorem fail for modal logic?

2011/03/28 by Raul Hakli, Sara Negri · 6 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic

paper · doi:10.1007/s11229-011-9905-9

Cited by

• Belief Semantics of Authorization Logic
• Translations: generalizing relative expressiveness between logics
• Justification Logic of the Lambda Calculus
• A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
• Modality via Iterated Enrichment
• Axiomatizations of Team Logics