2014-2015 2015-2016 2016-2017 2017-2018 2018-2019
Browse
by subject...
    Schedule
view...
 

1 - 2 of 2 results for: PHIL 254: Modal Logic

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 | Grading: Letter or Credit/No Credit
Instructors: Ten Cate, B. (PI)

PHIL 254: Modal Logic (PHIL 154)

(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 | Grading: Letter or Credit/No Credit
Instructors: Ten Cate, B. (PI)
Filter Results:
term offered
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