From KLM-style conditionals to defeasible modalities, and back
From MaRDI portal
Publication:5375876
DOI10.1080/11663081.2017.1397325zbMath1436.03129OpenAlexW2777194062MaRDI QIDQ5375876
Ivan Varzinczak, Katarina Britz
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
modal logictableauxnon-monotonic reasoningknowledge representation and reasoningpreferential semanticsdefeasible modalities
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items (8)
Default consequence relations from topology and measure theory ⋮ A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Defeasible linear temporal logic ⋮ Unnamed Item ⋮ Preferential accessibility and preferred worlds ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ Introducing Role Defeasibility in Description Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A non-monotonic description logic for reasoning about typicality
- From knowledge-based programs to graded belief-based programs. I: On-line reasoning
- Semantic characterization of rational closure: from propositional logic to description logics
- AI 2009: Advances in artificial intelligence. 22nd Australasian joint conference, Melbourne, Australia, December 1--4, 2009. Proceedings
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A first-order conditional logic for prototypical properties
- Nonmonotonic reasoning, preferential models and cumulative logics
- A guide to completeness and complexity for modal logics of knowledge and belief
- What does a conditional knowledge base entail?
- Five faces of minimality
- Conditional logics of normality: A modal approach
- Preferential accessibility and preferred worlds
- Preferential Reasoning for Modal Logics
- Introducing Role Defeasibility in Description Logics
- Knowledge Means ‘All’, Belief Means ‘Most’
- PTL: A Propositional Typicality Logic
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- ALC + T: a Preferential Extension of Description Logics
- Preferential Description Logics
- Reasoning about Typicality in Preferential Description Logics
- On vague notions and modalities: a modular approach
- Dynamic Epistemic Logic and Knowledge Puzzles
- Semantic Analyses for Dyadic Deontic Logic
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Formalizing action and change in modal logic I: the frame problem
- An Analysis of some Deontic Logics
- The Description Logic Handbook
- Plausibility measures and default reasoning
This page was built for publication: From KLM-style conditionals to defeasible modalities, and back
