Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-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). Berlin: 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 = "11",
day = "19",
doi = "10.1007/978-3-662-48561-3_26",
language = "English",
isbn = "978-3-662-48560-6",
pages = "316--327",
editor = "{van der Hoek}, Wiebe and Holliday, {Wesley H.} and Wen-fang Wang",
booktitle = "Logic, Rationality, and Interaction",
publisher = "Springer",

}

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

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 -

ID: 153729686