The Logic of Dynamic Systems

Thielscher. "The Logic of Dynamic Systems." International Joint Conference on Artificial Intelligence, 1995.

[Thielscher. "The Logic of Dynamic Systems." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/thielscher1995ijcai-logic/)

@inproceedings{thielscher1995ijcai-logic,
  title     = {{The Logic of Dynamic Systems}},
  author    = {Thielscher, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {1956-1963},
  url       = {https://mlanthology.org/ijcai/1995/thielscher1995ijcai-logic/}
}