IAEM
Laboratoire : LORIA
Sujet de thèse : Logique épistémique dynamique avec quantification et systèmes normatifs
Date de soutenance : 2023-06-23
Directeur / Directrice de thèse : VAN DITMARSCH Hans
Co-directeur / Co-directrice de thèse : KUIJER Louwe