How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation

DOI10.1007/978-3-030-88708-7_17OpenAlexW3204653255MaRDI QIDQ2148834

Davide Grossi, Xingchi Su, Rineke Verbrugge, Barteld P. Kooi

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_17

zbMATH Keywords

priority structurereduction axiomaction modelepistemic conditional obligationKangerian-Andersonian reduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Dynamic epistemic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• Detachment and defeasibility in deontic logic
• The logic of knowledge based obligation
• A logic for reasoning about responsibility
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• An Analysis of some Deontic Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation