Workshop on Proof Systems for Modal Fixed Point Logics

On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 Janaury at 11:00 in the Aula.


On Monday 29 January from 9:00 - 17:00 and on Tuesday 30 January from 9:00 - 11:30.


Room F0.01 at the Bushuis, Kloveniersburgwal 48. The room is on the ground floor, immediately on the left when you enter the building. The conference dinner is on Monday 29 January at 20:00, at the Tolhuistuin, IJpromenade 2.


Registration is now closed. Please contact the organisers if you would like to join but have not yet registered.


Click on a row to see the title and abstract. Alexis Saurin's talk is unfortunately cancelled, and will be replaced by Nick Bezhanishvili's tallk.

Time Speaker
09:00 - 09:45 Jan Rooduijn
09:45 - 10:15 Coffee break
10:15 - 11:00 Sebastian Enqvist
11:00 - 11:45 Guillermo Menéndez Turata
11:45 - 13:30 Lunch
13:30 - 14:15 Thomas Studer
14:15 - 15:00 Nick Bezhanishvili
15:00 - 15:30 Coffee break
15:30 - 16:15 Martin Lange
20:00 - Conference dinner
09:00 - 09:45 Johan van Benthem
09:45 - 10:30 Anupam Das


Please contact the organisers by sending an email to, where 'name' is in {m.girlando, g.m.t.menendezturata, j.m.w.rooduijn}.