8 found
Order:
  1.  96
    An Internal Version of Epistemic Logic.Guillaume Aucher - 2010 - Studia Logica 94 (1):1-22.
    Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  11
    DEL-Sequents for Regression and Epistemic Planning.Guillaume Aucher - 2012 - Journal of Applied Non-Classical Logics 22 (4):337 - 367.
    (2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  14
    DEL-Sequents for Progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.
    Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: 1. what is true about an initial situation 2. what is true about an event occurring in this situation 3. what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (iii) given (i) and (ii). Given three formulas (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  3
    Interpreting an Action From What We Perceive and What We Expect.Guillaume Aucher - 2007 - Journal of Applied Non-Classical Logics 17 (1):9-38.
  5.  40
    Generalized DEL-Sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  47
    A Dynamic Logic for Privacy Compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
  7.  6
    Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
    In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms.2 and.3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of axioms in terms of interaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  10
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography