Sequent Systems for Lewis’ Conditional Logics (Q2915082): Difference between revisions

@@ Property / cites work @@
+Q4698609
@@ Property / cites work: Q4698609 / rank @@
+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
@@ 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 @@
+Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Tableau calculus for preference-based conditional logics
+Normal rank
@@ Property / cites work @@
+Cut Elimination for Shallow Modal Logics
@@ Property / cites work: Cut Elimination for Shallow Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Hybrid Logic
@@ Property / cites work: Coalgebraic Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789444
@@ Property / cites work: Q4789444 / 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 @@
+Hybrid counterfactual logics. David Lewis meets Arthur Prior again
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux for Conditional Logics with Cautious Monotonicity
+Normal rank