Reasoning about Knowledge

Resoning about knowledge — particularly the knowledge of agents who reason about the world and each other’s knowledge — has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. In this course, we will study the classic textbook on this topic by Fagin, Halpern, Moses, and Vardi.

Details

Code	41125
Type	Course
ECTS	5
Site	Bern
Track(s)	T4 – Theory and Logic
Semester	A2025

Teaching

Lecturer(s)	Thomas Studer
Language	english
Course Page	The course page in ILIAS can be found at https://ilias.unibe.ch/go/crs/3422187.

Schedules and Rooms

Period	Weekly
Schedule	Tuesday, 10:15 - 12:00
Location	UniBE, ExWi
Room	B077

Evaluation

Evaluation type

written exam

Additional information

Comment

First Lecture The first lecture will take place on Tuesday, 16.09.2025 at 10:15 in UniBE, ExWi, room B077.