Uni-Logo

Diese Seite ist nur auf Englisch verfügbar.

Dynamic Epistemic Logic - Exercises

Exercises

Sheet Handed out Due Additional files
Exercise 01 Wed, April 24, 2019 Thu, May 2, 2019
Exercise 02 Thu, May 2, 2019 Thu, May 9, 2019
Exercise 03 Wed, May 08, 2019 Wed, May 15, 2019
Exercise 04 Wed, May 15, 2019 Wed, May 22, 2019
Exercise 05 Wed, May 22, 2019 Wed, May 29, 2019 template.py
model.json
birthday.json
Exercise 06 Wed, May 29, 2019 Wed, June 05, 2019
Exercise 07 Wed, June 5, 2019 Wed, June 19, 2019
Exercise 08 Wed, June 19, 2019 Wed, June 26, 2019
Exercise 09 Wed, June 26, 2019 Wed, July 03, 2019
Exercise 10 Wed, July 3, 2019 Wed, July 17, 2019
Exercise 11 Wed, July 3, 2019 Wed, July 17, 2019