Completeness and decidability of three logics of counterfactual conditionals1

DOI10.1111/j.1755-2567.1971.tb00061.xzbMath0229.02023OpenAlexW2122976680MaRDI QIDQ5636853

David Lewis

Publication date: 1971

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1971.tb00061.x

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (23)

Some embedding theorems for conditional logic ⋮ Ceteris paribus conditionals and comparative normalcy ⋮ Quotational theories of propositional attitudes ⋮ THE LOGIC OF THE EVIDENTIAL CONDITIONAL ⋮ Counterfactuals as modal conditionals, and their probability ⋮ An axiomatic system for concessive conditionals ⋮ Stalnakerian connexive logics ⋮ The implicative conditional ⋮ Validity under assumptions and modus ponens ⋮ Counterfactuals without possible worlds ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Basic intuitionistic conditional logic ⋮ Antecedent-relative comparative world similarity ⋮ Revision algebra semantics for conditional logic ⋮ Subjunctive generalizations ⋮ Basic conditional logic ⋮ Rational belief change, Popper functions and counterfactuals ⋮ Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism ⋮ Conditional excluded middle ⋮ Conceivability, counterfactual thinking and philosophical exceptionality of modal knowledge ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Modal logic with subjunctive conditionals and dispositional predicates ⋮ Explicit Conditionals in the Framework of Classical Conditional Logic

This page was built for publication: Completeness and decidability of three logics of counterfactual conditionals¹