Modal Logic (PHIL 154)

4 credits · Graduate

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