Readings and Class Notes – Brandeis CS 112

Final Exam Review – Part I

Final Exam Review – Part I

Pacuit Dynamic Epistemic Logic

Pacuit-DynamicEpistemicLogic

PDL Slides

cgi.csc.liv.ac.uk_~dgrossi_CourseWebsites_COMP525_Slides_dl1

Hendrick’s slides on Bisimulations

HendricksBisimulation

Blackburn and van Bentham: Bisimulation discussion in Modal Logic Survey

BlackburnBisimulation

Reading: van Benthem, van Eijck, and Kooi — Logics of Communication and Change

van Benthem, van Eijck, and Kooi — Logics of Communication and Change

Slides: Plaza — Logics of Public Announcement

Plaza — Logics of Public Announcement

Slides: Freksa – Using Orientation Information for Qualitative Spatial Reasoning

Freksa – Using Orientation Information for Qualitative Spatial Reasoning

Spatial Knowledge I/2 (thanks to A. Galton)

Temporal Logic Slides (thanks to A. Galton)