PHIL 256A - Modal Logics - A Modern Perspective

Description
Modal logic encompasses a rich variety of systems that have been used within philosophy to study such diverse topics as necessity and possibility, knowledge, time, action, and deontology. In recent years modal logic has also found applications outside of philosophy, in mathematics (the study of topology and formal provability) and in computational theory (including knowledge representation and software verification). This course will offer a modern approach to modal logic, covering the classical themes as well as cutting edge approaches and topics, such as hybrid logics and dynamic logics. Class Notes: Taught by visiting Tinker Professor Carlos Eduardo Areces.
Credits
4
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2018
Offered
TuTh
Avg. Class Size
15
Avg. Sections
1