Counterfactuals and semantic tableaux

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...

Full description

Saved in:
Bibliographic Details
Published inLogic and logical philosophy Vol. 18; no. 1; p. 71
Main Author Rönnedal, Daniel
Format Journal Article
LanguageEnglish
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
Online AccessGet full text

Cover

More Information
Summary: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 a large subclass of these.
ISSN:1425-3305
DOI:10.12775/LLP.2009.006