Xixi Logic Seminars #28

Lecturers:

Thomas Ågotnes (Professor at the University of Bergen, Thomas.Agotnes@infomedia.uib.no)

Hans van Ditmarsch (CNRS Senior Researcher, hans.van-ditmarsch@loria.fr)

Topics:

1. Epistemic Logic   (SEL1-slides)
   • Background reading: Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi. An Introduction to Logics of Knowledge and Belief, Chapter 1 from Handbook of Epistemic Logic Arxiv: arXiv:1503.00806
   • Homework:
     1. page 10 “Two agents”: show the truth of the three formulas
     2. page 11 “Three agents”: show the truth of the first formula in the slide
     3. Prove that the K axiom as shown belowis valid (always true).
     4. page 19 “Axiomatization”: give derivation of the second formula of the task in the slide.
2. Public Announcement Logic
   • Slides: DELgraduate-Hans    pepites2016ConsecSomPro    pepites2016Muddy
   • Background reading: Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi. Dynamic Epistemic Logic, Springer, 2007. Chapter 4 mainly.
   • Homework:
     1. DELgraduate-Hans.pdf, page 27 “Example”: show that the following hold in the model on the slide:
     2. DELgraduate-Hans.pdf, page 27 “Axiomatization”:
        1. Show that the formula is valid (always true).
        2. Give derivation of the above formula using the Axiomatization given at page 27.
     3. pepites2016ConsecSomPro.pdf: model the situation when numbers with a difference of 2, instead of consecutive numbers, are told to Anne and Bill respectively. For example, the numbers told respectively to Anne and Bill can be (2,4), or (5,3), and so on.
3. Action Model Logic
   • Slides: DELgraduate.pdf  and  pepites2016ConsecSomPro.pdf (see Lecture 2)  pepites2016Lightbulb
   • Background reading: H van Ditmarsch, W. van Der Hoek, B.P. Kooi. Playing cards with Hintikka: An introduction to dynamic epistemic logic, Australasian Journal of Logic, 2005. http://ojs.victoria.ac.nz/ajl/article/view/1776
4. (Same as the above)
5. Quantification over Information Change and Group Announcement Logic  gal.pdf
   
   • Background reading: Thomas Agotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Group announcement logic. Journal of Applied Logic 8: 62-81, 2010.
   • Background reading: Hans van Ditmarsch. Quantifying Notes In: Luke Ong and Ruy de Queiroz (editors), Proceedings of 19th WoLLIC, pp. 89-109, LNCS 7456, Springer, 2012.
6. Knowledge and Strategic Interaction  atl.pdf
   
   • Background reading: T. Ågotnes, V. Goranko, W. Jamroga and M. Wooldridge. Knowledge and Ability. In: H. van Ditmarsch, J. Y. Halpern, W. van der Hoek and B. Kooi (eds), Handbook of Epistemic Logic, College Publications, 2015.