On games and logics over dynamically changing structures

  title={On games and logics over dynamically changing structures},
  author={Philipp Rohde},
In the classical framework of graph algorithms, program logics, and corresponding model checking games, one considers changes of system states and movements of agents within a system, but the underlying graph or structure is assumed to be static. This limitation motivates a more general approach where dynamic changes of structures are relevant. In this thesis, we take up a proposal of van Benthem from 2002 and consider games and modal logics over dynamically changing structures, where we focus… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.

Wissenschaftlicher Angestellter am Lehrstuhl Informatik VII der Rheinisch-Westfälischen Technischen Hochschule Aachen

seit Dez

Similar Papers

Loading similar papers…