This Tuesday 16th of December at 17:00 hrs we will have a double Dynamic Logic Working Session. Peter will present his work on Towards a formalization of Lewis’ context-dependent notion of knowledge in Dynamic Epistemic Knowledge , and Jonathan will present his work on Solution concepts as belief revision policies .
The meeting will take place in room 3.27 of the P building (Euclides).