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