Proof Society 2025

Speaker

Mojtaba Mojtahedi

Ghent University

Talks at this conference:

 Thu, 11:50 Unification for weak classical modal logics
Contributed

 Overview  Program