## Results for PHIL 154 |
2 courses |

(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.

Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR

Instructors: ; van Benthem, J. (PI)

The seminar will present current research on logic and its connections with other fields (philosophy, computer science, mathematics) by Stanford faculty and graduate students plus some external guest speakers. Topics: dependence, causal inference, vector space models, knowledge and information dynamics, logic and counting, foundations of algorithms and computing. Introductory materials will be provided in advance for each topic. Prerequisite: 151, 154/254, or equivalent background. May be repeated for credit.

Terms: Spr
| Units: 2-4
| Repeatable
5 times
(up to 20 units total)

Instructors: ; Icard, T. (PI); van Benthem, J. (PI)