|
|||||
|
|
Intensional Protocols for Dynamic Epistemic Logic |
|
| Authors: | van Lee Hanna S. Rendsvig Rasmus K. van Wijk Suzanne |
| Affiliation: | 1.Center for Information and Bubble Studies, University of Copenhagen, CIBS/KUA, Karen Blixens Plads 8, Copenhagen, 2300S, Denmark ;2.Theoretical Philosophy, Lund University, Lund, Sweden ;3.Diemen, The Netherlands ; |
| Abstract: | Journal of Philosophical 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... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |