A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765): Difference between revisions

@@ Property / cites work @@
+Nested sequent calculi for normal conditional logics
+Normal rank
@@ Property / cites work @@
+Quick completeness proofs for some logics of conditionals
+Normal rank
@@ Property / cites work @@
+Basic conditional logic
@@ Property / cites work: Basic conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Countermodels from Sequent Calculi in Multi-Modal Logics
+Normal rank
@@ Property / cites work @@
+Tableau calculus for preference-based conditional logics
+Normal rank
@@ Property / cites work @@
+Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Sequent Systems for Lewis’ Conditional Logics
@@ Property / cites work: Sequent Systems for Lewis’ Conditional Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365498
@@ Property / cites work: Q5365498 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and countermodels in non-classical logics
@@ Property / cites work: Proofs and countermodels in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
@@ Property / cites work: PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900019
@@ Property / cites work: Q3900019 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus and a theorem prover for standard conditional logics
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+A refined theory of counterfactuals
@@ Property / cites work: A refined theory of counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux for Conditional Logics with Cautious Monotonicity
+Normal rank
@@ Property / cites work @@
+A semantic analysis of conditional logic1
@@ Property / cites work: A semantic analysis of conditional logic1 / rank @@
+Normal rank