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

Bidragets oversatte titel: Model transformerer for dynamiske system af dynamisk epistemisk logic

Rasmus Kræmmer Rendsvig

Institut for Kommunikation

7 Citationer (Scopus)

95 Downloads (Pure)

Abstract

I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.

Bidragets oversatte titel	Model transformerer for dynamiske system af dynamisk epistemisk logic
Originalsprog	Engelsk
Titel	Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Redaktører	Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
Antal sider	12
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	19 nov. 2015
Sider	316-327
ISBN (Trykt)	978-3-662-48560-6
ISBN (Elektronisk)	978-3-662-48561-3
DOI	https://doi.org/10.1007/978-3-662-48561-3_26
Status	Udgivet - 19 nov. 2015

Navn	Lecture notes in computer science
Vol/bind	9394
ISSN	0302-9743

Emneord

Det Humanistiske Fakultet

Adgang til dokumentet

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

Rendsvig_DELds_2015Accepteret manuskript, 218 KBLicens: Ikke-specificeret

Citationsformater

Rendsvig, R. K. (2015). Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. I W. van der Hoek, W. H. Holliday, & W. Wang (red.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings (s. 316-327). Springer. Lecture notes in computer science Bind 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. red. / Wiebe van der Hoek; Wesley H. Holliday; Wen-fang Wang. Berlin : Springer, 2015. s. 316-327 (Lecture notes in computer science, Bind 9394).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

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

Rendsvig RK. Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. I van der Hoek W, Holliday WH, Wang W, red., Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. Berlin: Springer. 2015. s. 316-327. (Lecture notes in computer science, Bind 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. red. / Wiebe van der Hoek ; Wesley H. Holliday ; Wen-fang Wang. Berlin : Springer, 2015. s. 316-327 (Lecture notes in computer science, Bind 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

Emneord

Adgang til dokumentet

Fingeraftryk

Citationsformater