https://hal.archives-ouvertes.fr/hal-01699950 Contributor : Catalin DimaConnect in order to contact the contributor Submitted on : Friday, February 2, 2018 - 10:52:21 PM Last modification on : Tuesday, October 19, 2021 - 4:07:27 PM
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⟩