9 found
Order:
  1.  28
    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  
     
    Bookmark   11 citations  
  2. 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  7
    On the Universality of Atomic and Molecular Logics via Protologics.Guillaume Aucher - 2022 - Logica Universalis 16 (1):285-322.
    After observing that the truth conditions of connectives of non–classical logics are generally defined in terms of formulas of first–order logic, we introduce ‘protologics’, a class of logics whose connectives are defined by arbitrary first–order formulas. Then, we introduce atomic and molecular logics, which are two subclasses of protologics that generalize our gaggle logics and which behave particularly well from a theoretical point of view. We also study and introduce a notion of equi-expressivity between two logics based on different classes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  28
    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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  47
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  14
    Interpreting an action from what we perceive and what we expect.Guillaume Aucher - 2007 - Journal of Applied Non-Classical Logics 17 (1):9-38.
    In update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  20
    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  
     
    Bookmark   1 citation  
  8.  56
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  19
    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 (3 more)  
     
    Export citation  
     
    Bookmark