Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877): Difference between revisions

@@ Property / OpenAlex ID @@
+W2540819425
@@ Property / OpenAlex ID: W2540819425 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested sequent calculi for normal conditional logics
+Normal rank
@@ Property / cites work @@
+Q4599502
@@ Property / cites work: Q4599502 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic interactive epistemology
@@ Property / cites work: Dynamic interactive epistemology / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
+Normal rank
@@ Property / cites work @@
+On first-order conditional logics
@@ Property / cites work: On first-order conditional logics / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent- or tableau-style system for Lewis's counterfactual logic VC
+Normal rank
@@ Property / cites work @@
+Counterfactuals
@@ Property / cites work: Counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau calculus for preference-based conditional logics
+Normal rank
@@ Property / cites work @@
+Updates and counterfactuals
@@ Property / cites work: Updates and counterfactuals / rank @@
+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 @@
+A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
+Normal rank
@@ Property / cites work @@
+PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
@@ Property / cites work: PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS / rank @@
+Normal rank
@@ Property / cites work @@
+A Standard Internal Calculus for Lewis’ Counterfactual Logics
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+Natural deduction calculi and sequent calculi for counterfactual logics
+Normal rank
@@ Property / cites work @@
+A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics <i>VC</i> and <i>VCS</i>
+Normal rank