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

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)

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

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• A Minimal Model Semantics for Nonmonotonic Reasoning
• A first-order conditional logic for prototypical properties
• A guide to completeness and complexity for modal logics of knowledge and belief
• 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
• 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
• PTL: a propositional typicality logic
• Plausibility measures and default reasoning
• Preferential Description Logics
• Preferential accessibility and preferred worlds
• Preferential reasoning for modal logics
• 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?
• \({\mathcal{ALC}}+T\): a preferential extension of description logics

Cited in

(9)

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

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)