Intensional Protocols for Dynamic Epistemic Logic.
In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dy...
| Publicado en: | Journal of Philosophical Logic Vol. 48; no. 6; pp. 1077 - 1119 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Dec2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |