Working group meeting Monday 13th (October)


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).