Quick completeness proofs for some logics of conditionals
From MaRDI portal
Publication:754178
DOI10.1305/NDJFL/1093883341zbMATH Open0416.03020OpenAlexW2159304001MaRDI QIDQ754178FDOQ754178
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)
- Iterated descriptor revision and the logic of Ramsey test conditionals
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
- On first-order conditional logics
- Constructive agents
- The implicative conditional
- Implicit and explicit stances in logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS
- 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
- Paraconsistent or Paracomplete?
- Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- A logical theory for conditional weak ontic necessity based on context update
- Indicative conditionals, restricted quantification, and naive truth
- Probabilistic Modeling of Default Reasoning
- AN ARGUMENT FOR CONJUNCTION CONDITIONALIZATION
- Antirealism and the conditional fallacy: the semantic approach
- Dynamic Epistemic Logic as a Substructural Logic
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Dynamic logic of legal competences
- FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES
- 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
- Reasoning about general preference relations
- Modeling belief in dynamic systems. I: Foundations
- Logics of Belief over Weighted Structures
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)
