 |
Journal articles
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
Abstract : no abstract
https://hal.archives-ouvertes.fr/hal-01699950
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:21 PM
Last modification on : Friday, October 4, 2019 - 1:12:49 AM
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:21 PM
Last modification on : Friday, October 4, 2019 - 1:12:49 AM