On the definability of simulation and bisimulation in epistemic logic
Résumé
no abstract
Le portail HAL-CNRS accueille l'ensemble de laproduction scientifique du CNRS |
Hans van Ditmarsch : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01273566
Soumis le : vendredi 12 février 2016-15:55:29
Dernière modification le : lundi 15 janvier 2024-14:26:03