Preferential reasoning for modal logics

DOI10.1016/J.ENTCS.2011.10.006MaRDI QIDQ2825407zbMATH OpenOpenAlexWikidataFDO

Authors Katarina Britz, Ivan Varzinczak, Thomas 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

zbMATH Keywords

actionsbeliefsnonmonotonic reasoningpreference orderrational closure

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Modal logic for preference based on reasons
• Nonmonotonic reasoning, preferential models and cumulative logics
• Semantics for dual preferential entailment
• Preference based on reasons
• scientific article; zbMATH DE number 125988

Cites work

• \({\mathcal{ALC}}+T\): a preferential extension of description logics
• A logical framework for default reasoning
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Another perspective on default reasoning
• Defeasible deontic logic
• Defeasible inheritance-based description logics
• Handling defeasibilities in action domains
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• On Action Theory Change
• Preferential reasoning for modal logics
• Preferential reasoning in the perspective of Poole default logic
• Rational Closure for Defeasible Description Logics
• Regression in modal logic
• What does a conditional knowledge base entail?

Cited in

(24)

• Everything else being equal: a modal logic for ceteris paribus preferences
• Nonmonotonic reasoning, preferential models and cumulative logics
• Preferential accessibility and preferred worlds
• Modal logic for preference based on reasons
• Constrained consequence
• A modal logic for subjective default reasoning
• Prioritised ceteris paribus logic for counterfactual reasoning
• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• On rational entailment for propositional typicality logic
• Preferential reasoning for modal logics
• A language for default reasoning about actions
• PTL: a propositional typicality logic
• Preferences in artificial intelligence
• Modal Logics of Negotiation and Preference
• Roadmap for preferential logics
• scientific article; zbMATH DE number 1149450 (Why is no real title available?)
• scientific article; zbMATH DE number 1984271 (Why is no real title available?)
• From KLM-style conditionals to defeasible modalities, and back
• On the decidability of a fragment of preferential LTL
• Defeasible linear temporal logic
• Extending defeasibility for propositional standpoint logics
• On the disjunctive rational closure of a conditional knowledge base
• Semantics for dual preferential entailment

This page was built for publication: Preferential reasoning for modal logics

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