Quick completeness proofs for some logics of conditionals
From MaRDI portal
Publication:754178
DOI10.1305/ndjfl/1093883341zbMath0416.03020OpenAlexW2159304001MaRDI QIDQ754178
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
Related Items (31)
Dynamic interactive epistemology ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE ⋮ Constructive agents ⋮ The implicative conditional ⋮ A logical theory for conditional weak ontic necessity based on context update ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Antirealism and the conditional fallacy: the semantic approach ⋮ Paraconsistent or Paracomplete? ⋮ A game semantics for system P ⋮ Reasoning about evidence ⋮ AN ARGUMENT FOR CONJUNCTION CONDITIONALIZATION ⋮ Implicit and explicit stances in logic ⋮ FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES ⋮ Notes on conditional logic ⋮ INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Logics of Belief over Weighted Structures ⋮ On first-order conditional logics ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ Dynamic logic of legal competences ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Reasoning about general preference relations ⋮ Probabilistic Modeling of Default Reasoning
This page was built for publication: Quick completeness proofs for some logics of conditionals
