1 paper · 1 filter
Kenji Tokuo
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time p…