This Monday 13th (October) at 15:00 we will have another Dynamic Logic Working Session. The intended programme is the following.
- 15:00 – Expressive Power and Complexity of (extended) Modal Logics for Cooperation and Preferences (Cédric and Lena).
- 15:40 – Discussions.
- 16:00 – Many-valued Hybrid Logic (Jens).
- 16:40 – Discussions.
The meeting will take place in room 3.27 of the P building (Euclides).