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)
Richard Zach
University of Calgary
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
A Lewisian Logic of Causal Counterfactuals.Jiji Zhang - 2013 - Minds and Machines 23 (1):77-93.
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
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.
Analytic Cut Trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.


Added to PP index

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

My notes

Sign in to use this feature