---
title: "The Logic of Dynamic Systems"
authors:
  - "Michael Thielscher"
doi: ""
url: "https://ijcai.org/proceedings/1995/251"
pdf: "https://ijcai.org/proceedings/1995/0251.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1956-1962"
track: "Temporal Reasoning"
keywords:
---

# The Logic of Dynamic Systems

Michael Thielscher

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 1956-1962.

## Abstract

A formal theory of actions and change in dynamic systems is presented. Our formalism is based on the paradigm that state transitions in a system naturally occur while time passes by; one or more agents have the possibility to direct the development ofthe system by executing actions . Our theory covers concurrency of actions and events and includes a natural way to express delayed effects and nondeterminism. A uniform semantics for specifications of dynamic systems is developed, which enables us to express solutions to problems like temporal projection, planning and postdiction in terms of logical entailment .