Print Settings
 

PHIL 154: Modal Logic (PHIL 254)

(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 topics in philosophy, computer science, mathematics, linguistics, and game theory. Prerequisite: 150 or preferably 151.
Terms: Spr | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 359: Topics in Logic, Information and Agency

Logical analysis of information, interaction and games, with topics connecting philosophy, computer science, game theory, and other fields. The focus is on current research at these interfaces. Prerequisite: 151, 154/254, or equivalent background. May be repeated for credit.
Terms: Spr | Units: 2-4 | Repeatable 3 times (up to 12 units total)
© Stanford University | Terms of Use | Copyright Complaints