A Dynamic Logic of the Right to Know

Different meanings of the “right to know” can be distinguished based on the theory of normative positions. In this paper, we focus on one of them: the power to know. Intuitively, in a sender-receiver setting, the receiver’s power to know whether φ is the case means that the sender is obliged to (truthfully) announce the answer if the receiver asks the question φ? . Therefore, we de- velop a logic called LRK for reasoning about the power to know, the obligatory announcements, and the dynamics of questions and public announcements.

Authors

• Xu Li
• Réka Markovich University of Luxemburg

Keywords

No keywords are indexed for this paper.