From KLM-style conditionals to defeasible modalities, and back

DOI10.1080/11663081.2017.1397325zbMATH Open1436.03129OpenAlexW2777194062MaRDI QIDQ5375876FDOQ5375876

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

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

zbMATH Keywords

modal logictableauxnon-monotonic reasoningknowledge representation and reasoningpreferential semanticsdefeasible modalities

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

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

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)