Formale Theorien von Objekten in Raum und Zeit (Topoi D-3-4)

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 Physic