c-ijcai-95-1956

Michael Thielscher. The Logic of Dynamic Systems. Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1956-1962.