Wormshop 2024

Contributed Talks

Towards intuitionistic polymodal provability logic

Mojtaba Mojtahedi1, Fedor Pakhomov2
1,2 Ghent University

on  Mon, 15:30for  30min

(Download the abstract.)

(Download the slides.)

 Overview