An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
Résumé
no abstract
Article Dans Une Revue
Journal of Applied Non-Classical Logics
Année : 2011
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699949
Soumis le : vendredi 2 février 2018-22:52:18
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Dimitar P. Guelev, Catalin Dima, Constantin Enea. An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Journal of Applied Non-Classical Logics, 2011, 21 (1), pp.93--131. ⟨10.3166/jancl.21.93-131⟩. ⟨hal-01699949⟩
Collections
45
Consultations
0
Téléchargements