 Combined logical reasoning about space-time is discussed in Rescher and Urquhart (1971, Chapter XVI). In Goldblatt (1980), the Diodorean modal logic of Minkowski space-time was studied and proved to be exactly the modal logic D4.2; further results are provided in Uckelman and Uckelman (2007). Logical investigations into relativity theory have been conducted as well, see e.g. Andréka et al. (2007).