Connecting dynamic epistemic and temporal epistemic logics - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Logic Journal of the IGPL Année : 2013

Connecting dynamic epistemic and temporal epistemic logics

Résumé

no abstract

Dates et versions

hal-01273575 , version 1 (12-02-2016)

Identifiants

Citer

Hans van Ditmarsch, Wiebe van Der Hoek, Ji Ruan. Connecting dynamic epistemic and temporal epistemic logics. Logic Journal of the IGPL, 2013, 21 (3), pp.380--403. ⟨10.1093/jigpal/jzr038⟩. ⟨hal-01273575⟩
44 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More