Wormshop 2024

Speaker

Raheleh Jalali

Czech Academy of Sciences

Talks at this conference:

 Mon, 13:45 Admissibility of Visser's rules in intuitionistic modal logics
Invited Talks

 Overview