Logics for Reasoning about Uncertainty

Semester:	Sommersemester 2021
Veranstalter:	Prof. Grädel
Bemerkungen:	https://logic.rwth-aachen.de/Teaching/LRU-SS21/index.html.de

Videos

- Introduction
- Di, 20.04.2021, 12:30 Uhr
- Possible-world models
- Lecture
- Di, 27.04.2021, 12:30 Uhr
- 1.4 Properties of Knowledge
- Lecture
- Di, 04.05.2021, 12:30 Uhr
- May 4th was a "dies academicus"
- Lecture
- Di, 11.05.2021, 12:30 Uhr
- Lecture
- Di, 18.05.2021, 12:30 Uhr
- Lecture
- Di, 25.05.2021, 12:30 Uhr
- recorded on 05/18. Released "early", during Pentecost Week (Excursion week)
- 2 Uncertainty and probabilities
- 2.1 Ramsey's Argument
- Lecture
- Di, 08.06.2021, 12:30 Uhr
- Lecture
- Di, 15.06.2021, 12:30 Uhr
- 3. PCTL
- Lecture
- Di, 22.06.2021, 12:30 Uhr
- Lecture
- Di, 29.06.2021, 12:30 Uhr
- 4.2 Modern logics of dependence, independence and imperfect information
- Lecture
- Di, 06.07.2021, 12:30 Uhr
- 4.3 Team Semantics
- Lecture
- Di, 13.07.2021, 12:30 Uhr
- 4.4 Expressive power of logics with team semantics
- Lecture
- Di, 20.07.2021, 12:30 Uhr
- 4.5 Model Checking Games for Logics with Team Semantics