Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Rasmus Kræmmer Rendsvig

doi:10.1007/978-3-662-48561-3_26

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Rasmus Kræmmer Rendsvig

Department of Communication

7 Citations (Scopus)

95 Downloads (Pure)

Abstract

This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.

Translated title of the contribution	Model transformerer for dynamiske system af dynamisk epistemisk logic
Original language	English
Title of host publication	Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Editors	Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
Number of pages	12
Place of Publication	Berlin
Publisher	Springer
Publication date	19 Nov 2015
Pages	316-327
ISBN (Print)	978-3-662-48560-6
ISBN (Electronic)	978-3-662-48561-3
DOIs	https://doi.org/10.1007/978-3-662-48561-3_26
Publication status	Published - 19 Nov 2015

Series	Lecture notes in computer science
Volume	9394
ISSN	0302-9743

Keywords

Faculty of Humanities
dynamic epistemic logic
dynamical systems
model transformers
protocols
modeling

Access to Document

10.1007/978-3-662-48561-3_26

Rendsvig_DELds_2015Accepted author manuscript, 218 KBLicence: Unspecified

Cite this

Rendsvig, R. K. (2015). Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. In W. van der Hoek, W. H. Holliday, & W. Wang (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings (pp. 316-327). Springer. Lecture notes in computer science Vol. 9394 https://doi.org/10.1007/978-3-662-48561-3_26

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. / Rendsvig, Rasmus Kræmmer.

Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. ed. / Wiebe van der Hoek; Wesley H. Holliday; Wen-fang Wang. Berlin : Springer, 2015. p. 316-327 (Lecture notes in computer science, Vol. 9394).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Rendsvig, RK 2015, Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. in W van der Hoek, WH Holliday & W Wang (eds), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. Springer, Berlin, Lecture notes in computer science, vol. 9394, pp. 316-327. https://doi.org/10.1007/978-3-662-48561-3_26

Rendsvig RK. Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. In van der Hoek W, Holliday WH, Wang W, editors, Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. Berlin: Springer. 2015. p. 316-327. (Lecture notes in computer science, Vol. 9394). doi: 10.1007/978-3-662-48561-3_26

Rendsvig, Rasmus Kræmmer. / Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. editor / Wiebe van der Hoek ; Wesley H. Holliday ; Wen-fang Wang. Berlin : Springer, 2015. pp. 316-327 (Lecture notes in computer science, Vol. 9394).

@inproceedings{2a3bc117d61a4ed18df1541110477e56,

title = "Model Transformers for Dynamical Systems of Dynamic Epistemic Logic",

abstract = "This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.",

keywords = "Faculty of Humanities, dynamic epistemic logic, dynamical systems, model transformers, protocols, modeling",

author = "Rendsvig, {Rasmus Kr{\ae}mmer}",

year = "2015",

month = nov,

day = "19",

doi = "10.1007/978-3-662-48561-3_26",

language = "English",

isbn = "978-3-662-48560-6",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "316--327",

editor = "{van der Hoek}, Wiebe and Holliday, {Wesley H.} and Wen-fang Wang",

booktitle = "Logic, Rationality, and Interaction",

}

TY - GEN

T1 - Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

AU - Rendsvig, Rasmus Kræmmer

PY - 2015/11/19

Y1 - 2015/11/19

N2 - This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.

AB - This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.

KW - Faculty of Humanities

KW - dynamic epistemic logic

KW - dynamical systems

KW - model transformers

KW - protocols

KW - modeling

U2 - 10.1007/978-3-662-48561-3_26

DO - 10.1007/978-3-662-48561-3_26

M3 - Article in proceedings

SN - 978-3-662-48560-6

T3 - Lecture notes in computer science

SP - 316

EP - 327

BT - Logic, Rationality, and Interaction

A2 - van der Hoek, Wiebe

A2 - Holliday, Wesley H.

A2 - Wang, Wen-fang

PB - Springer

CY - Berlin

ER -

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Abstract

Keywords

Access to Document

Fingerprint

Cite this