Order:
  1.  22
    Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.
    Arbitrary public announcement logic ) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic ), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  5
    Refinement Quantified Logics of Knowledge and Belief for Multiple Agents.James Hales, Tim French & Rowan Davies - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 317-338.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations