Modal logics of domains on the real plane (Q794634)

In this paper, the author deals with modal logics appearing from the temporal ordering of domains in two-dimensional Minkowski spacetime, which was discussed by \textit{R. Goldblatt} [ibid. 39, 219-236 (1980; Zbl 0457.03019)], i.e. modal logics for ''planar'' time. With every \(X\subseteq {\mathbb{R}}^ 2\) the modal logic ML(X) is associated which is determined as the set of all modal formulas valid in the frame \((X,R\cap(X\times X)),\) where R is the temporal ordering in the Minkowski spacetime. Closed or open convex polygons and closed or open domains bounded by simple differentiable curves are considered; this leads to the logics S4, S4.1, S4.2 or S4.1.2.