In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals

DOI10.1007/s10849-017-9251-5zbMath1420.03038OpenAlexW2607171097MaRDI QIDQ2398203

Costas D. Koutras, Christos Rantsoudis

Publication date: 15 August 2017

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-017-9251-5

zbMATH Keywords

nonmonotonic logicconditional logics of normality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items

Default consequence relations from topology and measure theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quick completeness proofs for some logics of conditionals
• Conditional entailment: bridging two approaches to default reasoning.
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A first-order conditional logic for prototypical properties
• Ordering semantics and premise semantics for counterfactuals
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• What does a conditional knowledge base entail?
• Basic conditional logic
• The logic of conditionals. An application of probability to deductive logic
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15--17, 2015. Proceedings
• On a rule-based interpretation of default conditionals
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals
• Filters and partial orders
• Knowledge means ‘all’, belief means ‘most’
• Defaults as Generalized Quantifiers
• Modal logics with linear alternative relations
• Counterfactuals