Standard
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
Harvard
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
APA
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
Vancouver
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).
https://doi.org/10.1007/978-3-662-48561-3_26
Author
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).
Bibtex
@inproceedings{2a3bc117d61a4ed18df1541110477e56,
title = "Model Transformers for Dynamical Systems of Dynamic Epistemic Logic",
abstract = "I artiklen tages et dynamisk system-perspektiv p{\aa} dynamisk epistemisk logik, og unders{\o}ger opdateringskraften af forskellige m{\aa}der at definere evolutionsafbildninger p{\aa}.",
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",
address = "Switzerland",
}
RIS
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 - I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
AB - I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
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 -