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

• Johan Van Benthem
• Office: unknown
• Phone:
• Office Hours:

TAs