Dynamic logics of dynamical systems

@article{DBLP:journals/corr/abs-1205-4788,
	author = {['André Platzer']},
	title = {Dynamic Logics of Dynamical Systems},
	journal = {CoRR},
	volume = {abs/1205.4788},
	year = {2012}
}