Counterfactuals and semantic tableaux

• Published in: Logic and logical philosophy Vol. 18; no. 1; p. 71
• Main Author: Rönnedal, Daniel
• Format: Journal Article
• Language: English
• Published: 01.01.2009
• Subjects: analytic tableau; conditional logic; Counterfactuals; David Lewis; Filosofiämnen; Graham Priest; Historisk-filosofiska ämnen; History and philosophy subjects; HUMANIORA och RELIGIONSVETENSKAP; HUMANITIES and RELIGION; Logic; Logik; Melvin Fitting; modal logic; Philosophy subjects; Robert Stalnaker; semantic tableau; subjunctive conditionals; teoretisk filosofi; Theoretical Philosophy

The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for...