Alessandra Palmigiano
IdRefMots clés
FR |
EN
Modalité (logique)
Logique modale monotone
Théorie de la correspondance
Treillis
Théorie des preuves
Display calculs
Logiques epistemiques
Pdl
Théorie des ensembles
Informations incomplètes
Informations incohérentes
Logiques modales
Logique épistémique dynamique
Modèle de voisinage
Logique de contingence
Co-algèbre
Bisimulation
Logique informatique
Algèbres des relations
Contingence