Modal Logic

Download as PDF

Course Description

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

Cross Listed Courses

Grading Basis

ROP - Letter or Credit/No Credit

Min

4

Max

4

Course Repeatable for Degree Credit?

No

Course Component

Discussion

Enrollment Optional?

Yes

Course Component

Lecture

Enrollment Optional?

No

This course has been approved for the following WAYS

Formal Reasoning (FR)

Does this course satisfy the University Language Requirement?

No

Programs

PHIL154 is a completion requirement for: