{"paper":{"title":"The Temporal Logic of two dimensional Minkowski spacetime is decidable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Mark Reynolds, Robin Hirsch","submitted_at":"2015-07-17T10:13:28Z","abstract_excerpt":"We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, ${\\sf x}$ can access ${\\sf y}$ if an electromagnetic or (slower than light) mechanical signal could be sent from ${\\sf x}$ to ${\\sf y}$. We use Prior's tense language of ${\\bf F}$ and ${\\bf P}$ representing causal accessibility and its converse relation. We consider two versions, one where the accessibility relation is reflexive and one where it is irreflexive.\n  In either case it has been an open problem, for decades, whether the logic is decidable or axiomatisable. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04903","kind":"arxiv","version":6},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}