How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation

Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge. How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. In Sujata Ghosh, Thomas Icard, editors, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Volume 13039 of Lecture Notes in Computer Science, pages 201-215, Springer, 2021. [doi]

Abstract

Abstract is missing.