This tutorial introduces Dynamic Epistemic Logic that enables to reason about knowledge and its evolution in time. We will first show how to model epistemic situations. Second, we will discuss algorithmic issues for reasoning tasks. Third, we will present extensions of dynamic logic. We will use the pedagogical software called Hintikka's world.
Tristan Charrier tristan.charrier[at]irisa.frFrançois Schwarzentruber is associate professor at ENS Rennes (France). His current research interests are mainly focused on theory and applications of logic to artificial intelligence, agency and multi-agent systems and computer science. He has been a PC member of some editions in that topics such as AAMAS and IJCAI. He was reviewer for journals such as Synthese, Studia Logica, Theoretical Computer Science. Since 2011, his research mainly focuses on studying dynamic epistemic logic.
François Schwarzentruber Bâtiment Alfred Sauvy École normale supérieure de Rennes Campus de Ker Lann 35170 Bruz France Tél : (+33) 2 99 05 93 23 Fax : (+33) 2 99 05 93 29 francois.schwarzentruber[at]ens-rennes.fr