Non-normal modal logics and conditional logics: semantic analysis and proof theory

DOI10.1016/J.IC.2021.104756OpenAlexW3158980506WikidataQ113872841 ScholiaQ113872841MaRDI QIDQ2672662

Giuseppe Greco, Apostolos Tzimoulis, Alessandra Palmigiano, Jinsheng Chen

Publication date: 13 June 2022

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2021.104756

zbMATH Keywords

conditional logicmonotonic modal logicproper display calculi

Mathematics Subject Classification ID

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

Related Items (2)

Linear Logic Properly Displayed ⋮ Algebraic proof theory for LE-logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Dynamic logics of evidence-based beliefs
• Intuitionistic non-normal modal logics: a general framework
• Basic conditional logic
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• Semantics of weakening and contraction
• Meeting strength in substructural logics
• A new semantics for positive modal logic
• Game logic -- an overview
• Lattice logic properly displayed
• Dialectica categories for the Lambek calculus
• Display logic
• Sequent calculi and decision procedures for weak modal systems
• Positive modal logic
• Multimodal linguistic inference
• Semi De Morgan logic properly displayed
• Algorithmic correspondence and canonicity for non-distributive logics
• Non normal logics: semantic analysis and proof theory
• Bilattice logic properly displayed
• Proper multi-type display calculi for rough algebras
• Modular sequent calculi for classical modal logics
• Nested sequent calculi for normal conditional logics
• A Multi-type Calculus for Inquisitive Logic
• Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Dual characterizations for finite lattices via correspondence theory for monotone modal logic
• Normal monomodal logics can simulate all others
• A Modal Logic for Coalitional Power in Games
• Substructural logics on display
• Conditional reasoning in logic programming
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Unified correspondence as a proof-theoretic tool
• Modularisation of Sequent Calculi for Normal and Non-normal Modalities
• Bounded distributive lattice expansions
• Syntactic Completeness of Proper Display Calculi
• Unified Correspondence
• Heterogeneous algebras
• Boolean Algebras with Operators. Part I
• Generic Modal Cut Elimination Applied to Conditional Logics

This page was built for publication: Non-normal modal logics and conditional logics: semantic analysis and proof theory