@inproceedings{e11c28d927d94b6f99beec0a407bbd22,
title = "How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation",
abstract = "Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we provide reduction axioms for the dynamic operator of the new logic.",
keywords = "Action model, Epistemic conditional obligation, Kangerian-Andersonian reduction, Priority structure, Reduction axiom",
author = "Davide Grossi and Barteld Kooi and Xingchi Su and Rineke Verbrugge",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 8th International Workshop on Logic, Rationality and Interaction, LORI 2021 ; Conference date: 16-10-2021 Through 18-10-2021",
year = "2021",
doi = "10.1007/978-3-030-88708-7_17",
language = "English",
isbn = "978-3-030-88707-0",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "201--215",
editor = "Sujata Ghosh and Thomas Icard",
booktitle = "Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings",
}