Michael Thielscher. The Logic of Dynamic Systems. In IJCAI. pages 1956-1963, 1995.
@inproceedings{Thielscher95:0,
title = {The Logic of Dynamic Systems},
author = {Michael Thielscher},
year = {1995},
tags = {logic},
researchr = {https://researchr.org/publication/Thielscher95%3A0},
cites = {0},
citedby = {0},
pages = {1956-1963},
booktitle = {IJCAI},
}