Uckelman, S. L., & Uckelman, J. (2007). Modal and temporal logics for abstract space-time structures