Title: Time and Space in Formal Logic