Basic conditional logic
From MaRDI portal
Cites work
- A general theory of the conditional in terms of a ternary operator
- A semantic analysis of conditional logic1
- An incomplete logic containing S4
- An incompleteness theorem in modal logic
- Classical intensional logics
- Completeness and decidability of three logics of counterfactual conditionals1
- Counterfactuals and comparative possibility
- Decidability results in non-classical logics
- Modal logic with subjunctive conditionals and dispositional predicates
- Revised foundations for imperative-epistemic and interrogative logic
- The completeness of monotonic modal logics
- The inadequacy of the neighbourhood semantics for modal logic
Cited in
(67)- Completeness and correspondence in Chellas-Segerberg semantics
- A modal logic for subjective default reasoning
- Blueprint for a dynamic deontic logic
- A first-order conditional logic for prototypical properties
- Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy
- An axiomatic system for concessive conditionals
- Stalnakerian connexive logics
- A paraconsistent conditional logic
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Basic intuitionistic conditional logic
- Binary modal companions for subintuitionistic logics
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- Intuitionistic conditional logics
- Boethius' thesis and conditional logic
- The implicative conditional
- Cut-elimination for quantified conditional logic
- Some embedding theorems for conditional logic
- From onions to broccoli: generalizing Lewis' counterfactual logic
- A paraconsistent and substructural conditional logic
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Adaptively applying modus ponens in conditional logics of normality
- A conditional logic for abduction
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Impossible worlds and the logic of imagination
- A compositional semantics for `even if' conditionals
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
- Observations on validity and conditionals in belief revision systems
- Dialetheic conditional modal logic
- Proof analysis for Lewis counterfactuals
- Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Strengthened conditionals
- Definable conditionals
- Zif Would Have Been If: A Suppositional View of Counterfactuals
- Belief revision conditionals: basic iterated systems
- Connexive extensions of regular conditional logic
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- Logic and probability: reasoning in uncertain environments -- introduction to the special issue
- An intuitionistically complete system of basic intuitionistic conditional logic
- On S
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Natural deduction calculi and sequent calculi for counterfactual logics
- CLASSICAL COUNTERPOSSIBLES
- Conditional logics of normality: A modal approach
- Completeness for counter-doxa conditionals -- using ranking semantics
- A relevant theory of conditionals
- Belief revision, epistemic conditionals and the Ramsey test
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Conditional normative reasoning as a fragment of HOL
- THE LOGIC OF THE EVIDENTIAL CONDITIONAL
- A Compositional Semantics for ‘If Then’ Conditionals
- Connexive conditional logic. I
- A basic system of paraconsistent Nelsonian logic of conditionals.
- Revision algebra semantics for conditional logic
- Validity under assumptions and modus ponens
- Revisiting Semilattice Semantics
- Notes on conditional logic
- A standard internal calculus for Lewis' counterfactual logics
- Axiomatizing the logic of imagination
- Bisimulation for conditional modalities
- On bringing it about
- Inconsistency in Ceteris Paribus Imagination
- An epistemic logic with hypotheses
- On a rule-based interpretation of default conditionals
- On some weakened forms of transitivity in the logic of conditional obligation
- Theorem proving for conditional logics: CondLean and GOALDUCK
This page was built for publication: Basic conditional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1221745)
