CS298: Logic Language and Computation


General

no web page that I can find (sorry)

Covers Dynamic logic mainly with philosophical / mathematical / computer science bent. Dynamic logic is a logic that emphasizes modeling dynamic processes like programs. Sequentiality is modeled as non-commutative conjunction for instance.

Instructor

TAs

none -- this course is pretty small
[Stanford] [CS Dept.] [Mark Pichora]
Questions? Send them to:
mpichora@cs.stanford.edu