Non-axiomatizability for the linear temporal logic of knowledge with concrete observability - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue J. Log. Comput. Année : 2011

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

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01699950 , version 1 (02-02-2018)

Identifiants

Citer

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⟩

Collections

CNRS LACL UPEC
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More