On games and logics over dynamically changing structures

@inproceedings{Rohde2005OnGA,
  title={On games and logics over dynamically changing structures},
  author={Philipp Rohde},
  year={2005}
}
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

Citations

Publications citing this paper.

References

Publications referenced by this paper.

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

seit Dez
2001

Similar Papers

Loading similar papers…