To be announced - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2023

To be announced

Résumé

In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, on decidability and on the complexity of model checking and satisfiability, and on applications. We focus on open problems and new directions for research.

Dates et versions

hal-04237920 , version 1 (11-10-2023)

Licence

Paternité

Identifiants

Citer

Hans van Ditmarsch. To be announced. Information and Computation, 2023, 292, pp.105026. ⟨10.1016/j.ic.2023.105026⟩. ⟨hal-04237920⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More