Looks like things aren't being initialized correctly in the second modal window. Disabling 'related_modal_active' and falling back to the normal window-based approach works fine, but I would prefer ...

This webpage contains the slides, handouts and homeowork assignments for the course Proof Theory of Modal Logic, which will take place within the 5th Tsinghua Logic Summer School, organized by the ...