Justification logics are epistemic logics that feature the `unfolding’ of modalities into justification terms. Instead of `K A’, justification logics include formulas of the form `t : A’ that mean `A is justified by reason t’.
One may think of traditional modal operators as implicit modalities and justification terms as their explicit counterparts. In a statement `t justifies A’, the justification term `t’ may represent a formal mathematical proof of `A’ or an informal reason for `A’ like a public announcement of `A’. Justification logic is a new and fast evolving field that offers unexpected results and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
T4 – Logic |
Thomas Studer |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_2469228.html.
Schedules and Rooms
|Schedule||Tuesday, 09:15 - 12:00|
|Evaluation type||written exam|