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