A theory of hierarchical consequence and conditionals

DOI10.1007/S10849-009-9096-7MaRDI QIDQ2268351zbMATH OpenOpenAlexFDO

Authors K. Schlechta, Dov Gabbay

Publication date 5 March 2010

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.3072

zbMATH Keywords

contrary-to-duty obligationsdeontic logicnonmonotonic logicpreferential structuresranked structuresrepresentation results

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Abstract: We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.

Recommendations

• scientific article; zbMATH DE number 1405884
• Completeness for counter-doxa conditionals -- using ranking semantics
• scientific article; zbMATH DE number 1405876
• Unsettling preferential semantics
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox

Cites work

• Distance semantics for belief revision
• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• scientific article; zbMATH DE number 3363518 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the logic of theory change: Partial meet contraction and revision functions
• Reactive Kripke Models and Contrary to Duty Obligations
• Roadmap for preferential logics
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Some completeness results for stoppered and ranked classical preferential models
• Some Results on Classical Preferential Models
• What does a conditional knowledge base entail?

Cited in

(6)

• A multiply qualified conditional analysis of disposition ascription: mapping the conceptual topography of ceteris paribus
• Introducing reactive modal tableaux
• Global view on reactivity: switch graphs and their logics
• Inference rules in multi-agents' temporal logics
• Hierarchical logical consequence
• On Hierarchical Reasoning in Combinations of Theories

This page was built for publication: A theory of hierarchical consequence and conditionals

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