Completeness and decidability of three logics of counterfactual conditionals

Theoria 37 (1):74-85 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1971.tb00061.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Hybrid counterfactual logics David Lewis meets Arthur prior again.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
On S.André Fuhrmann & Edwin D. Mares - 1994 - Studia Logica 53 (1):75 - 91.
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions.J. Almog - 1980 - Notre Dame Journal of Formal Logic 21 (2):467-479.
Remarks on Gregory's “actually” operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
Counterfactual conditionals and the presuppositions of induction.William Todd - 1964 - Philosophy of Science 31 (2):101-110.
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe - 2013 - Logica Universalis 7 (1):33-69.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

Analytics

Added to PP
2010-09-13

Downloads
141 (#132,656)

6 months
6 (#528,006)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David K. Lewis
PhD: Harvard University; Last affiliation: Princeton University

Citations of this work

The Logic of the Evidential Conditional.Eric Raidl, Andrea Iacona & Vincenzo Crupi - 2022 - Review of Symbolic Logic 15 (3):758-770.
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.

View all 54 citations / Add more citations

References found in this work

Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.

Add more references