Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.
OriginalsprogEngelsk
TitelLogic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
RedaktørerWiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
Antal sider12
Udgivelses stedBerlin
ForlagSpringer
Publikationsdato19 nov. 2015
Sider316-327
ISBN (Trykt)978-3-662-48560-6
ISBN (Elektronisk)978-3-662-48561-3
DOI
StatusUdgivet - 19 nov. 2015
NavnLecture notes in computer science
Vol/bind9394
ISSN0302-9743

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 153729686