Adrian Francalanza

Explorer les logiques modales, la récursion, et leur rôle dans les systèmes de connaissance et de croyance.

Un aperçu de la façon dont différents systèmes de surveillance vérifient des comportements complexes.