Non normal logics: semantic analysis and proof theory

Abstract

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.

References in corpus (6)

• Multi-type Display Calculus for Dynamic Epistemic Logic
• Multi-type display calculus for Propositional Dynamic Logic
• A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
• Dual characterizations for finite lattices via correspondence theory for monotone modal logic
• Multi-type Sequent Calculi
• The Logic of Resources and Capabilities

Cited by in corpus (3)

• Neighbourhood semantics for graded modal logic
• Vector spaces as Kripke frames
• Non-normal logics: semantic analysis and proof theory (extended version)