Completeness and decidability of three logics of counterfactual conditionals1

DOI10.1111/J.1755-2567.1971.TB00061.XMaRDI QIDQ5636853zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(35)

• Quotational theories of propositional attitudes
• Counterfactuals without possible worlds
• Nonmonotonic reasoning, preferential models and cumulative logics
• Revision algebra semantics for conditional logic
• Subjunctive generalizations
• Basic conditional logic
• Rational belief change, Popper functions and counterfactuals
• Basic intuitionistic conditional logic
• Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
• Conceivability, counterfactual thinking and philosophical exceptionality of modal knowledge
• Antecedent-relative comparative world similarity
• Modal logic with subjunctive conditionals and dispositional predicates
• Validity under assumptions and modus ponens
• Explicit Conditionals in the Framework of Classical Conditional Logic
• THE LOGIC OF THE EVIDENTIAL CONDITIONAL
• Completeness for counter-doxa conditionals -- using ranking semantics
• Counterfactuals as modal conditionals, and their probability
• An axiomatic system for concessive conditionals
• Stalnakerian connexive logics
• The implicative conditional
• Strengthened conditionals
• An intuitionistically complete system of basic intuitionistic conditional logic
• Definable conditionals
• Can simulations aid counterfactual reasoning?
• The algebras of Lewis's counterfactuals: duality theory
• Labeled Fitch-style natural deduction for basic intuitionistic conditional logic
• The algebras of Lewis's counterfactuals: axiomatizations and algebraizability
• Analysis of the syntactic computation of Fagin-Halpern conditioning in possibilistic logic
• Between burgess and Lewis. II: Semantics without rational monotonicity
• Between burgess and Lewis. I: Logics without rational monotonicity
• Counterfactuals modulo temporal logics
• Matching theories with evidence: a logic for demanding knowing why
• Conditional excluded middle
• Some embedding theorems for conditional logic
• Ceteris paribus conditionals and comparative normalcy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5636853)