Alternating-time temporal dynamic epistemic logic - Université d'Artois Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2014

Alternating-time temporal dynamic epistemic logic

Tiago De Lima
Centre de Recherche en Informatique de Lens

Domaines

Informatique [cs] Intelligence artificielle [cs.AI]

Tiago DE LIMA  : Connectez-vous pour contacter le contributeur

https://univ-artois.hal.science/hal-03962680

Soumis le : lundi 30 janvier 2023-12:34:45

Dernière modification le : lundi 30 octobre 2023-16:41:23

Fichier non déposé

Dates et versions

hal-03962680 , version 1 (30-01-2023)

Identifiants

Citer

Tiago De Lima. Alternating-time temporal dynamic epistemic logic. Journal of Logic and Computation, 2014, 24 (6), pp.1145-1178. ⟨10.1093/logcom/exs061⟩. ⟨hal-03962680⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS CRIL
18 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More