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

Catalin Dima

doi:10.1093/logcom/exq031

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

Catalin Dima ¹

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

Abstract : no abstract

Document type :

Journal articles

Domain :

Computer Science [cs]

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

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

Identifiers

Collections

Citation

Export

Metrics

32

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

32

Contact