Formal theories of bodies and space (Topoi D-3-4)

In this project, the group develops formal representations of theories of spatiotemporal objects. Such theories deal both with objects in space and time and with spatiotemporal entities, such as space-time points, and they address relations between these entities.