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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=139867049&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 139867049 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Dec2019 vid: 48 iid: 6 pid: 237 pub: Springer Nature artinfo: ui: 139867049 10.1007/s10992-019-09508-w ppf: 1077 ppct: 42 formats: fmt: @attributes: type: P size: 2.4MB tig: atl: Intensional Protocols for Dynamic Epistemic Logic. aug: au: van Lee, Hanna S. Rendsvig, Rasmus K. van Wijk, Suzanne affil: Center for Information and Bubble Studies, University of Copenhagen, CIBS/KUA, Karen Blixens Plads 8, 2300S, Copenhagen, Denmark Theoretical Philosophy, Lund University, Lund, Sweden Diemen, The Netherlands su: Epistemic logic Dynamical systems Multiagent systems sug: subj: Epistemic logic Dynamical systems Multiagent systems keyword: Dynamic epistemic logic Epistemic temporal logic Multi-agent systems Protocols ab: 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 dynamic epistemic logic (DEL), called 'DEL dynamical systems'. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional 'DEL protocols'. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2019. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|