Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

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

Dokumenter

  • 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å.
Bidragets oversatte titelModel transformerer for dynamiske system af dynamisk epistemisk logic
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
UdgivelsesstedBerlin
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