Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Rendsvig_DELds_2015
Accepted author manuscript, 218 KB, PDF document
I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
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 | |
Publication status | Published - 19 Nov 2015 |
Series | Lecture notes in computer science |
---|---|
Volume | 9394 |
ISSN | 0302-9743 |
- Faculty of Humanities - dynamic epistemic logic, dynamical systems, model transformers, protocols, modeling
Research areas
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 153729686