Basic conditional logic

DOI10.1007/BF00693270zbMath0317.02029MaRDI QIDQ1221745

Brian F. Chellas

Publication date: 1975

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99) Categoricity and completeness of theories (03C35)

Related Items

Zif Would Have Been If: A Suppositional View of Counterfactuals ⋮ Conditional logics of normality: A modal approach ⋮ Cut-elimination for quantified conditional logic ⋮ A paraconsistent conditional logic ⋮ A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Blueprint for a dynamic deontic logic ⋮ CLASSICAL COUNTERPOSSIBLES ⋮ Some embedding theorems for conditional logic ⋮ An approach to default reasoning based on a first-order conditional logic: Revised report ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ On a rule-based interpretation of default conditionals ⋮ A first-order conditional logic for prototypical properties ⋮ On bringing it about ⋮ A relevant theory of conditionals ⋮ Observations on validity and conditionals in belief revision systems ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Binary modal companions for subintuitionistic logics ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ THE LOGIC OF THE EVIDENTIAL CONDITIONAL ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Intuitionistic conditional logics ⋮ An axiomatic system for concessive conditionals ⋮ Stalnakerian connexive logics ⋮ The implicative conditional ⋮ A Compositional Semantics for ‘If Then’ Conditionals ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Validity under assumptions and modus ponens ⋮ Impossible worlds and the logic of imagination ⋮ Bisimulation for conditional modalities ⋮ A modal logic for subjective default reasoning ⋮ Dialetheic Conditional Modal Logic ⋮ Belief revision, epistemic conditionals and the Ramsey test ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ Basic intuitionistic conditional logic ⋮ Revision algebra semantics for conditional logic ⋮ A conditional logic for abduction ⋮ A Compositional Semantics for ‘Even If’ Conditionals ⋮ Notes on conditional logic ⋮ Boethius' thesis and conditional logic ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ⋮ Inconsistency in Ceteris Paribus Imagination ⋮ Logic and probability: reasoning in uncertain environments -- introduction to the special issue ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Connexive Conditional Logic. Part I ⋮ Connexive Extensions of Regular Conditional Logic ⋮ An Epistemic Logic with Hypotheses ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ Axiomatizing the logic of imagination ⋮ Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy ⋮ Belief revision conditionals: basic iterated systems ⋮ COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F ⋮ On S ⋮ Revisiting Semilattice Semantics

Cites Work

• Counterfactuals and comparative possibility
• Modal logic with subjunctive conditionals and dispositional predicates
• Decidability results in non-classical logics
• The inadequacy of the neighbourhood semantics for modal logic
• The completeness of monotonic modal logics
• Revised foundations for imperative-epistemic and interrogative logic
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• A semantic analysis of conditional logic1
• Classical intensional logics
• Completeness and decidability of three logics of counterfactual conditionals¹
• A general theory of the conditional in terms of a ternary operator