2017-2018 2018-2019 2019-2020 2020-2021 2021-2022
Browse
by subject...
    Schedule
view...
 

1 - 2 of 2 results for: PHIL 154

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)
Filter Results:
term offered
updating results...
teaching presence
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints