Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
Résumé
no abstract
Article Dans Une Revue
J. Log. Comput.
Année : 2011
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699950
Soumis le : vendredi 2 février 2018-22:52:21
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Catalin Dima. Non-axiomatizability for the linear temporal logic of knowledge with concrete observability. J. Log. Comput., 2011, 21 (6), pp.939--958. ⟨10.1093/logcom/exq031⟩. ⟨hal-01699950⟩
22
Consultations
0
Téléchargements