Formale Theorien von Objekten in Raum und Zeit unter besonderer Berücksichtigung antiker Philosophie

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.