Within this dissertation project Oliver Janitza has worked out formal systems for Aristotle’s theories of time, of three-dimensionally extended bodies, and of change. These theories are formal versions of Aristotle’s theories as presented in the Physics.

This Ph.D. thesis was successfully completed in 2016.