Time and Space in Formal Logic