On the definability of simulation and bisimulation in epistemic logic
Résumé
no abstract
Article Dans Une Revue
J. Log. Comput.
Année : 2014
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
Citer
Hans van Ditmarsch, David Fernández Duque, Wiebe van Der Hoek. On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput., 2014, 24 (6), pp.1209--1227. ⟨10.1093/logcom/exs058⟩. ⟨hal-01273566⟩
Collections
100
Consultations
0
Téléchargements