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

Abstract : no abstract
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699950
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:52:21 PM
Last modification on : Saturday, February 3, 2018 - 1:11:57 AM

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

32