 |
Free and accessible knowledge |
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 Connect 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
Contributor : Catalin Dima Connect 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