Conditional logics of normality: A modal approach
From MaRDI portal
Publication:1330670
DOI10.1016/0004-3702(94)90096-5zbMath0811.68114OpenAlexW2089822569MaRDI QIDQ1330670
Publication date: 21 July 1994
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)90096-5
Related Items
Unifying default reasoning and belief revision in a modal framework, Similarity between preferential models, Normal conditions for inference relations and injective models, A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, Semantics for dual preferential entailment, Some remarks on the model theory of epistemic plausibility models, In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals, Making the right exceptions, A Standard Internal Calculus for Lewis’ Counterfactual Logics, A logic for desire based on causal inference, PRIORITY MERGE AND INTERSECTION MODALITIES, Some embedding theorems for conditional logic, Nested Sequent Calculi for Conditional Logics, PTL: A Propositional Typicality Logic, A Minimal Model Semantics for Nonmonotonic Reasoning, Adaptive logic characterizations of input/output logic, On a rule-based interpretation of default conditionals, On the revision of probabilistic belief states, Ceteris paribus conditionals and comparative normalcy, Abduction to plausible causes: an event-based model of belief update, Adaptive logic as a modal logic, Adaptively applying modus ponens in conditional logics of normality, Modeling belief in dynamic systems. I: Foundations, A sphere world semantics for default reasoning, Unnamed Item, Embedding and automating conditional logics in classical higher-order logic, Defeasible linear temporal logic, Semantic characterization of rational closure: from propositional logic to description logics, Constrained consequence, Situated conditional reasoning, Parallel belief revision: revising by sets of formulas, A logic for preference lifting under uncertainty and its decidability, Preferential accessibility and preferred worlds, From KLM-style conditionals to defeasible modalities, and back, System JLZ -- rational default reasoning by minimal ranking constructions., Plausible reasoning: a first-order approach, Unsettling preferential semantics, A game semantics for system P, Implication with possible exceptions, Dynamic epistemic logic for implicit and explicit beliefs, A two-level perspective on preference, A deontic logic framework allowing for factual detachment, Von Wright's ``The logic of preference revisited, Contextual rational closure for defeasible \(\mathcal{ALC} \), Some contributions to nonmonotonic consequence, Dynamic preference logic meets iterated belief change: representation results and postulates characterization, On rational entailment for propositional typicality logic, On first-order conditional logics, Two Logical Faces of Belief Revision, Belief fusion and revision: an overview based on epistemic logic semantics, Dynamic logic for belief revision, Dynamic logic of preference upgrade, Introducing Role Defeasibility in Description Logics, Reasoning about general preference relations, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Abduction as belief revision, An information-based theory of conditionals, Modal logics for qualitative possibility theory
Cites Work
- Conditional entailment: bridging two approaches to default reasoning.
- Semantical considerations on nonmonotonic logic
- A logic to reason about likelihood
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logical framework for default reasoning
- A first-order conditional logic for prototypical properties
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- On the size of refutation Kripke models for some linear modal and tense logics
- Inaccessible worlds
- Nonmonotonic reasoning, preferential models and cumulative logics
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
- On the consistency of defeasible databases
- Basic conditional logic
- The logic of conditionals. An application of probability to deductive logic
- Nonmonotonic inference based on expectations
- Unifying default reasoning and belief revision in a modal framework
- Erratum to: ``What does a conditional knowledge base entail?
- Key notions of Tarski's methodology of deductive systems
- All I know: A study in autoepistemic logic
- The logic of conditional obligation. Comments by Harry Beatty
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Modal logics with linear alternative relations
- Counterfactuals
- 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
