GEN 13070

Modal Logic

Stanford University · UGRD · Fall 2026

1 section

Catalog description

(Graduate students register for 254.) Syntax and semantics of modal logic and its basic theory: including expressive power, axiomatic completeness, correspondence, and complexity. Applications to classical and recent topics in philosophy, computer science, mathematics, linguistics, and game theory. Prerequisite: 150 or preferably 151.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #stanford-13070Fall 2026UGRD4 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?