Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

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

Documents

  • Rasmus Kræmmer Rendsvig
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 contributionModel transformerer for dynamiske system af dynamisk epistemisk logic
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