Speaker:
Hanna van Lee

Title:
DEL Dynamical Systems and ETL Forests: Correspondences

Abstract:
Dynamic Epistemic Logic dynamical systems (DELds) are linked to the epistemic temporal logic (ETL) framework by investigating the class of ETL forests that DELds’ can generate. The ETL framework is a general framework for representing epistemic forests, e.g., epistemic trees and extensive form games of imperfect information. The relations shown to hold between DELds’ and ETL forests fall into two categories: some which have been considered in classic game theory and computer science (e.g., Synchronicity, Perfect Recall) and some which pertains to the modal logical nature of DELds’s (e.g. Bisimulation Invariance). The results are compared to similar results of Van Benthem et al. relating ETL forests and DEL protocols. Hereby, a comparison between the “global” ETL framework and the “local” frameworks of DEL protocols and DELds’ is obtained.