Skip to Main content Skip to Navigation
Journal articles

Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

Abstract : no abstract
Complete list of metadatas

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

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

88