Preferential Reasoning for Modal Logics
From MaRDI portal
Publication:2825407
DOI10.1016/j.entcs.2011.10.006zbMath1347.03042OpenAlexW2100982478WikidataQ113318201 ScholiaQ113318201MaRDI QIDQ2825407
Ivan Varzinczak, Katarina Britz, Thomas Andreas Meyer
Publication date: 7 October 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.006
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Semantics in the theory of computing (68Q55)
Related Items (12)
A Language for Default Reasoning about Actions ⋮ Preferences in artificial intelligence ⋮ PTL: A Propositional Typicality Logic ⋮ Defeasible linear temporal logic ⋮ Constrained consequence ⋮ Unnamed Item ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ On rational entailment for propositional typicality logic ⋮ Preferential Reasoning for Modal Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logical framework for default reasoning
- Preferential reasoning in the perspective of Poole default logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Defeasible deontic logic
- Another perspective on default reasoning
- Preferential Reasoning for Modal Logics
- Defeasible Inheritance-Based Description Logics
- ALC + T: a Preferential Extension of Description Logics
- A Modularity Approach for a Fragment of $\mathcal{ALC}$
- Regression in Modal Logic
- Handling defeasibilities in action domains
- Rational Closure for Defeasible Description Logics
- On Action Theory Change
This page was built for publication: Preferential Reasoning for Modal Logics
