Non-normal modal logics and conditional logics: semantic analysis and proof theory
From MaRDI portal
Publication:2672662
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
Related Items (2)
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