From KLM-style conditionals to defeasible modalities, and back

DOI10.1080/11663081.2017.1397325MaRDI QIDQ5375876zbMATH OpenOpenAlexFDO

Authors Katarina Britz, Ivan Varzinczak

Publication date 17 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2017.1397325

zbMATH Keywords

defeasible modalitiesknowledge representation and reasoningmodal logicnon-monotonic reasoningpreferential semanticstableaux

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• A modal logic of defeasible reasoning
• Modal Rules: Extending Defeasible Logic with Modal Operators
• A KLM perspective on defeasible reasoning for description logics
• Conditional logics of normality: A modal approach
• Preferential accessibility and preferred worlds

Cites work

• \({\mathcal{ALC}}+T\): a preferential extension of description logics
• A first-order conditional logic for prototypical properties
• A guide to completeness and complexity for modal logics of knowledge and belief
• A Minimal Model Semantics for Nonmonotonic Reasoning
• A non-monotonic description logic for reasoning about typicality
• AI 2009: Advances in artificial intelligence. 22nd Australasian joint conference, Melbourne, Australia, December 1--4, 2009. Proceedings
• An Analysis of some Deontic Logics
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Conditional logics of normality: A modal approach
• Counterfactuals.
• Dynamic Epistemic Logic and Knowledge Puzzles
• Five faces of minimality
• Formalizing action and change in modal logic I: the frame problem
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• Introducing role defeasibility in description logics
• Knowledge means `all', belief means `most'
• Modal logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• On vague notions and modalities: a modular approach
• Plausibility measures and default reasoning
• Preferential accessibility and preferred worlds
• Preferential Description Logics
• Preferential reasoning for modal logics
• PTL: a propositional typicality logic
• Reasoning about Typicality in Preferential Description Logics
• Semantic Analyses for Dyadic Deontic Logic
• Semantic characterization of rational closure: from propositional logic to description logics
• Tableau methods for modal and temporal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The Description Logic Handbook
• What does a conditional knowledge base entail?

Cited in

(11)

• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Preferential accessibility and preferred worlds
• Default consequence relations from topology and measure theory
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• On rational entailment for propositional typicality logic
• Introducing role defeasibility in description logics
• On the decidability of a fragment of preferential LTL
• Modal Rules: Extending Defeasible Logic with Modal Operators
• Defeasible linear temporal logic
• Extending defeasibility for propositional standpoint logics
• On the disjunctive rational closure of a conditional knowledge base

This page was built for publication: From KLM-style conditionals to defeasible modalities, and back

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5375876)