6 problems
- 0 votes0 replies0 views
Modal logics of Minkowski spacetime
For each , let \mathcal{F}^n = \langle \mathbb{R}^{1+n}, \mathrel{\scalebox{0.85}{oldalpha}} \rangle be the frame of -dimensional Minkowski spacetime with causal rela…
- 0 votes0 replies0 views
Undecidability conjecture for the temporal logic of higher-dimensional Minkowski spacetime
Let Minkowski spacetime have at least three spatial dimensions, with temporal operators for sometime in the future and for access to spacetime points in the pas…
- 0 votes0 replies1 view
Undecidability conjecture for temporal and modal logics of higher-dimensional Minkowski frames
A Minkowski frame is a spacetime frame equipped with the relevant accessibility relation for temporal or modal logic; the paper considers the analogous frames in dimensions higher…
- 0 votes0 replies0 views
The hyperplane conjecture for time flat surfaces in Minkowski spacetime
Let be a closed surface in that is contained in a complete, spacelike hypersurface. A surface is time flat when its associated connection one-form has v…
- 0 votes0 replies1 view
Penrose's Gibbons–Penrose inequality for surfaces in Minkowski spacetime
Let be a two-dimensional spacelike closed embedded orientable surface in Minkowski spacetime, diffeomorphic to . Let be a fixed future timeli…
- 0 votes0 replies0 views
The Minkowski space conjecture on celestial polynomial independence
Let be non-intersecting world lines in Minkowski space, and let be distinct events. For , let be the…