Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Rendsvig_DELds_2015
Accepteret manuskript, 218 KB, PDF-dokument
I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
Bidragets oversatte titel | Model transformerer for dynamiske system af dynamisk epistemisk logic |
---|---|
Originalsprog | Engelsk |
Titel | Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings |
Redaktører | Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
Antal sider | 12 |
Udgivelsessted | Berlin |
Forlag | Springer |
Publikationsdato | 19 nov. 2015 |
Sider | 316-327 |
ISBN (Trykt) | 978-3-662-48560-6 |
ISBN (Elektronisk) | 978-3-662-48561-3 |
DOI | |
Status | Udgivet - 19 nov. 2015 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 9394 |
ISSN | 0302-9743 |
- Det Humanistiske Fakultet
Forskningsområder
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 153729686