Faculty of Arts
Topics in Applied Logic
This course builds on Stage 2 logic courses, and introduces students to topics such as epistemic logic (the logic of knowledge and belief, including the logic of belief change), temporal logic (the logic of time) and dynamic logic (the logic of change). Studying these logics will help students to understand philosophically important concepts such as knowledge, time and change. Applications in computer science will also be considered.
Coordinator(s) Dr Patrick Girard
PHIL 315: 15.0 points
PHIL 222 and either COMPSCI 225 or PHIL 216