Switch to: References

Add citations

You must login to add citations.
  1. Announcements to Attentive Agents.Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber - 2016 - Journal of Logic, Language and Information 25 (1):1-35.
    In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of public (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
    Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
    Download  
     
    Export citation  
     
    Bookmark