Quick completeness proofs for some logics of conditionals
From MaRDI portal
Publication:754178
DOI10.1305/NDJFL/1093883341zbMATH Open0416.03020OpenAlexW2159304001MaRDI QIDQ754178FDOQ754178
Authors: John P. Burgess
Publication date: 1981
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883341
Cited In (33)
- Paraconsistent or paracomplete?
- Iterated descriptor revision and the logic of Ramsey test conditionals
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- On first-order conditional logics
- Constructive agents
- The implicative conditional
- Implicit and explicit stances in logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- From causal models to counterfactual structures
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- From onions to broccoli: generalizing Lewis' counterfactual logic
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
- Possibilistic reasoning -- a mini-survey and uniform semantics
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Dynamic interactive epistemology
- Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
- A logical theory for conditional weak ontic necessity based on context update
- Indicative conditionals, restricted quantification, and naive truth
- Probabilistic Modeling of Default Reasoning
- Completeness for counter-doxa conditionals -- using ranking semantics
- Antirealism and the conditional fallacy: the semantic approach
- Logics of belief over weighted structures
- Dynamic Epistemic Logic as a Substructural Logic
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Dynamic logic of legal competences
- Notes on conditional logic
- A game semantics for system P
- Reasoning about evidence
- On some weakened forms of transitivity in the logic of conditional obligation
- An argument for conjunction conditionalization
- Reasoning about general preference relations
- Modeling belief in dynamic systems. I: Foundations
This page was built for publication: Quick completeness proofs for some logics of conditionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754178)