Switch to: References

Add citations

You must login to add citations.
  1. Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.
    A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On knowledge and obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.
    This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.
    We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation