Skip to content

Brandeis CS 112

Modal, Temporal, and Spatial Logics

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

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

Author adminPosted on November 15, 2013Categories Readings and Class Notes

Post navigation

Previous Previous post: Slides: Plaza — Logics of Public Announcement
Next Next post: Blackburn and van Bentham: Bisimulation discussion in Modal Logic Survey

Recent Posts

  • Correction on CTL Sample Problem
  • News on Final Exam!
  • Answers for Final Exam Sample Questions (with corrections!! :))
  • Answers coming later Saturday
  • Final Exam Sample Questions Part II

Recent Comments

    Archives

    • December 2013
    • November 2013
    • October 2013
    • September 2013
    • August 2013

    Categories

    • Class News
    • Problem Sets
    • Readings and Class Notes
    • Uncategorized

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Brandeis CS 112 Proudly powered by WordPress