Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC
Australasian Journal of Logic 15 (3):609-628 (2018)
| Authors |
|
| Abstract |
Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
|
| Keywords | counterfactuals tableaux conditional logic |
| Categories | (categorize this paper) |
| Reprint years | 2018 |
| DOI | 10.26686/ajl.v15i3.4780 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Counterfactuals and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Counterfactuals in Temporal Alethic-Deontic Logic.Rönnedal Daniel - 2016 - SOUTH AMERICAN JOURNAL OF LOGIC 2 (1):57-81.
Possible Worlds Semantics for Indicative and Counterfactual Conditionals? A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).
Construction of Tableaux for Classical Logic: Tableaux as Combinations of Branches, Branches as Chains of Sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Folk Judgments About Conditional Excluded Middle.Michael J. Shaffer & James Beebe - forthcoming - In Inglis Aberdeen (ed.), Advances in Experimental Philosophy of Logic and Mathematics. Bloomsbury Press.
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
A Conditional Logic for Abduction.Mathieu Beirlaen & Atocha Aliseda - 2014 - Synthese 191 (15):3733-3758.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Analytic Tableaux for All of SIXTEEN_3.Reinhard Muskens & Stefan Wintein - 2015 - Journal of Philosophical Logic 44 (5):473-487.
Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic.Marilynn Johnson - 2015 - Australasian Journal of Logic 12 (2):97-120.
Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
Analytics
Added to PP index
2018-06-04
Total downloads
30 ( #217,153 of 2,302,807 )
Recent downloads (6 months)
17 ( #28,801 of 2,302,807 )
2018-06-04
Total downloads
30 ( #217,153 of 2,302,807 )
Recent downloads (6 months)
17 ( #28,801 of 2,302,807 )
How can I increase my downloads?
Monthly downloads
