Brandeis CS 112

Modal, Temporal, and Spatial Logics

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

Readings and Class Notes

Blackburn Hybrid Logic paper

November 22, 2016Readings and Class NotesNikhil Krishnaswamy

Patrick Blackburn – Hybrid Logic

DITL and Dynamic Logic Slides

November 18, 2016Readings and Class NotesNikhil Krishnaswamy

Pustejovsky-DITL
Hendriks – Dynamic Logic

Epistemic Logic Reading

November 8, 2016Readings and Class NotesNikhil Krishnaswamy
  • Eric Pacuit – Modeling Knowledge and Belief
  • Baltag et al. – Epistemic Logic and Information Update
  • Dmitri Hendriks – Bisimulation Slides

Qualitative Spatial Reasoning

October 14, 2016Readings and Class NotesNikhil Krishnaswamy

The QSR slides from today may be found here.

Allen – Maintaining Knowledge about Temporal Intervals

September 23, 2016Readings and Class NotesNikhil Krishnaswamy

The James Allen 1983 paper introducing the interval calculus may be found here.

Computation Tree Logic

September 23, 2016Readings and Class NotesNikhil Krishnaswamy

Reading on CTL is posted here.

Video Lecture – Temporal Logic

September 16, 2016Class News, Readings and Class NotesNikhil Krishnaswamy

A 30-minute video lecture on temporal logic is now posted on LATTE under Topic 3. There will be a follow-up posted over the weekend. Please watch all videos at your own leisure but be sure to complete the full series before Tuesday’s class so you can stay up-to-date.

Propositional Logic Slides

September 1, 2016Readings and Class NotesNikhil Krishnaswamy

The two propositional logic slide decks may be found here and here.

Recent Posts

  • Blackburn Hybrid Logic paper
  • DITL and Dynamic Logic Slides
  • Epistemic Logic Reading
  • Problem Set 6
  • Problem Set 5
Proudly powered by WordPress | Theme: StrapVert by WP Strap Code.