Sabine Frittella
IdRefMots clés
FR |
EN
Cybersécurité
Logique modale monotone
Théorie de la correspondance
Treillis
Théorie des preuves
Display calculs
Logiques epistemiques
Pdl
Modalité (logique)
Théorie des ensembles
Logiques modales floues
Logiques modales paraconsistantes
Logiques bi-Stratifiées
Complexité
Logique
Zero Trust
Sémantique formelle
Workflows
Automates
Logique mathématique