Dynamic logics of dynamical systems

@ARTICLE{DBLP:journals/corr/abs-1205-4788,
  author    = {Andr{\'e} Platzer},
  title     = {Dynamic Logics of Dynamical Systems},
  journal   = {CoRR},
  volume    = {abs/1205.4788},
  year      = {2012},
}```