Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

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

Documents

I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
EditorsWiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
Number of pages12
Place of PublicationBerlin
PublisherSpringer
Publication date19 Nov 2015
Pages316-327
ISBN (Print)978-3-662-48560-6
ISBN (Electronic)978-3-662-48561-3
DOIs
Publication statusPublished - 19 Nov 2015
SeriesLecture notes in computer science
Volume9394
ISSN0302-9743

    Research areas

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

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 153729686