Counterfactuals and semantic tableaux

Logic and Logical Philosophy 18 (1):71-91 (2009)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2009.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
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.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
A Lewisian Logic of Causal Counterfactuals.Jiji Zhang - 2013 - Minds and Machines 23 (1):77-93.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
On similarity in counterfactuals.Ana Arregui - 2009 - Linguistics and Philosophy 32 (3):245-278.
Counterfactuals, causation, and preemption.John Collins - unknown
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
Remarks on counterpossibles.Berit Brogaard & Joe Salerno - 2013 - Synthese 190 (4):639-660.
Conditionals.Frank Jackson (ed.) - 1991 - New York: Oxford University Press.
Counterfactuals as Strict Conditionals.Andrea Iacona - 2015 - Disputatio 7 (41):165-191.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Possible Worlds Semantics for Indicative and Counterfactual Conditionals?: A Formal Philosophical Inquiry Into Chellas-Segerberg Semantics.Matthias Unterhuber - 2013 - Ontos (Now de Gruyter).

Analytics

Added to PP
2013-11-24

Downloads
439 (#42,121)

6 months
15 (#143,114)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel Rönnedal
Stockholm University

Citations of this work

Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.

Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.

View all 15 references / Add more references