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

Davide Grossi, Barteld Kooi, Xingchi Su*, Rineke Verbrugge

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings
EditorsSujata Ghosh, Thomas Icard
PublisherSpringer Science and Business Media Deutschland GmbH
Pages201-215
Number of pages15
ISBN (Electronic)978-3-030-88708-7
ISBN (Print)978-3-030-88707-0
DOIs
Publication statusPublished - 2021
Event8th International Workshop on Logic, Rationality and Interaction, LORI 2021 - Virtual, Online
Duration: 16-Oct-202118-Oct-2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13039 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Workshop on Logic, Rationality and Interaction, LORI 2021
CityVirtual, Online
Period16/10/202118/10/2021

Keywords

  • Action model
  • Epistemic conditional obligation
  • Kangerian-Andersonian reduction
  • Priority structure
  • Reduction axiom

Cite this