Modal logic originated in the domain of Philosophy, but during the past decades became a vibrant area with fundamental applications in computer science, AI, mathematics, epistemology, etc. This course offers a systematic exposition of fundamentals of modal logic and its applications.
T4 – Logic |
Students are expected to understand the concepts of logical language, models, deduction and decidability, apply these concepts to a variety of modal logics and related systems, learn a wide variety of applications of modal logics in computer science, AI, mathematics and epistemology, become prepared to conduct research in modal logics and their applications.
Thomas Studer |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1531281.html.
Schedules and Rooms
|Schedule||Tuesday, 09:15 - 12:00|