Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662): Difference between revisions

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