After successful completion of the course, students are able to...
- give a comprehensive and basic introduction into dynamic epistemic logic
*******************************************************************************
The lecturer of this course will be Prof. Hans van Ditmarsch / LORIA, France.
Description:
Epistemic logic models knowledge and belief in multi-agent systems. Dynamic epistemic logic models change of knowledge and belief.
We provide a comprehensive and basic introduction into dynamic epistemic logic, going in detail into the semantics, with lots of examples and hands-on exercises, and treating topics such as expressivity, axiomatization, and bisimulation.
The course will cover:
(i) knowledge and belief, and group epistemic notions general knowledge, common knowledge, and distributed knowledge;
(ii) public announcement logic, and unsuccessful updates;
(iii) action model logic, semi-public events, fully private events;
(iv) plausibility models and belief revision, i.e., change of knowledge and belief in combined fashion, including modellings of (the event of) lying;
(v) factual change,
(vi) embeddings into temporal epistemic logic (protocol-generated forests), and
(vii) quantification over information change. Time permitting, we will also cover very recent developments on
(viii) modelling asynchrony and concurrency in dynamic epistemic logic.
The course will be mainly based on material found in:
(i) Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi, Dynamic Epistemic Logic, Springer 2008 (about 70 euros),
(ii) Chapter 1, 6 and 7 of: Hans van Ditmarsch, Joe Halpern, Wiebe van der Hoek, Barteld Kooi (eds.), Handbook of Epistemic Logic, College Publications, 2015 (20 GBP), and
(iii) One Hundred Prisoners and a Light Bulb, Copernicus/Springer, 2015 (about 20 euros), that contains a final technical chapter.
It is strongly recommended to have "One Hundred Prisoners and a Light Bulb", https://www.springer.com/gp/book/9783319166933, before the course starts. This book is available as E-book at TU Wien's library.
