5 found
Sort by:
  1. Sébastien Magnier & Tiago De Lima, A Soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.
    Since Plaza [1989], which is most of the time considered as the inaugural paper on announcement logics in public communication contexts, a lot of papers on dynamic epistemic logics have been published. The most famous dynamic epistemic logic is known by the name of PAL (Public Announcement Logic). The logic PAC is an extension of PAL with the common knowledge operator (CG). Soundness and completeness proofs of those logics are presented in van Ditmarsch et al. [2008], in Balbiani et al. (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Hans van Ditmarsch, Andreas Herzig & Tiago De Lima (2012). Public Announcements, Public Assignments and the Complexity of Their Logic. Journal of Applied Non-Classical Logics 22 (3):249-273.
    We study the extension of public announcement logic PAL by public assignments, which we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e. the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such a price is not mandatory, for we provide a polynomial translation of PALA into EL. This is based on abbreviations of subformulae (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Andreas Herzig, Tiago de Lima & Emiliano Lorini (2009). On the Dynamics of Institutional Agreements. Synthese 171 (2):321-355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form reading ‘if the agents in the set of agents G identify themselves with institution x then they together accept that ’. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form , meaning that the agents learn that is the case in context x . Formulae (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008). Knowable' as 'Known After an Announcement. Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation