Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301658218> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4301658218 abstract "We work primarily with the Kripke frame consisting of two-dimensional Minkowski spacetime with the irreflexive accessibility relation 'can reach with a slower-than-light signal'. We show that in the basic temporal language, the set of validities over this frame is decidable. We then refine this to PSPACE-complete. In both cases the same result for the corresponding reflexive frame follows immediately. With a little more work we obtain PSPACE-completeness for the validities of the Halpern-Shoham logic of intervals on the real line with two different combinations of modalities." @default.
- W4301658218 created "2022-10-05" @default.
- W4301658218 creator A5009832059 @default.
- W4301658218 creator A5058982682 @default.
- W4301658218 date "2018-06-25" @default.
- W4301658218 modified "2023-09-30" @default.
- W4301658218 title "The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable" @default.
- W4301658218 doi "https://doi.org/10.48550/arxiv.1806.09760" @default.
- W4301658218 hasPublicationYear "2018" @default.
- W4301658218 type Work @default.
- W4301658218 citedByCount "0" @default.
- W4301658218 crossrefType "posted-content" @default.
- W4301658218 hasAuthorship W4301658218A5009832059 @default.
- W4301658218 hasAuthorship W4301658218A5058982682 @default.
- W4301658218 hasBestOaLocation W43016582181 @default.
- W4301658218 hasConcept C11413529 @default.
- W4301658218 hasConcept C118615104 @default.
- W4301658218 hasConcept C121332964 @default.
- W4301658218 hasConcept C126042441 @default.
- W4301658218 hasConcept C130187892 @default.
- W4301658218 hasConcept C13200473 @default.
- W4301658218 hasConcept C144024400 @default.
- W4301658218 hasConcept C153269930 @default.
- W4301658218 hasConcept C179799912 @default.
- W4301658218 hasConcept C185592680 @default.
- W4301658218 hasConcept C188027245 @default.
- W4301658218 hasConcept C197685441 @default.
- W4301658218 hasConcept C202444582 @default.
- W4301658218 hasConcept C2524010 @default.
- W4301658218 hasConcept C27508121 @default.
- W4301658218 hasConcept C33923547 @default.
- W4301658218 hasConcept C36289849 @default.
- W4301658218 hasConcept C41008148 @default.
- W4301658218 hasConcept C62520636 @default.
- W4301658218 hasConcept C71139939 @default.
- W4301658218 hasConcept C76155785 @default.
- W4301658218 hasConcept C79464548 @default.
- W4301658218 hasConceptScore W4301658218C11413529 @default.
- W4301658218 hasConceptScore W4301658218C118615104 @default.
- W4301658218 hasConceptScore W4301658218C121332964 @default.
- W4301658218 hasConceptScore W4301658218C126042441 @default.
- W4301658218 hasConceptScore W4301658218C130187892 @default.
- W4301658218 hasConceptScore W4301658218C13200473 @default.
- W4301658218 hasConceptScore W4301658218C144024400 @default.
- W4301658218 hasConceptScore W4301658218C153269930 @default.
- W4301658218 hasConceptScore W4301658218C179799912 @default.
- W4301658218 hasConceptScore W4301658218C185592680 @default.
- W4301658218 hasConceptScore W4301658218C188027245 @default.
- W4301658218 hasConceptScore W4301658218C197685441 @default.
- W4301658218 hasConceptScore W4301658218C202444582 @default.
- W4301658218 hasConceptScore W4301658218C2524010 @default.
- W4301658218 hasConceptScore W4301658218C27508121 @default.
- W4301658218 hasConceptScore W4301658218C33923547 @default.
- W4301658218 hasConceptScore W4301658218C36289849 @default.
- W4301658218 hasConceptScore W4301658218C41008148 @default.
- W4301658218 hasConceptScore W4301658218C62520636 @default.
- W4301658218 hasConceptScore W4301658218C71139939 @default.
- W4301658218 hasConceptScore W4301658218C76155785 @default.
- W4301658218 hasConceptScore W4301658218C79464548 @default.
- W4301658218 hasLocation W43016582181 @default.
- W4301658218 hasLocation W43016582182 @default.
- W4301658218 hasOpenAccess W4301658218 @default.
- W4301658218 hasPrimaryLocation W43016582181 @default.
- W4301658218 hasRelatedWork W1190014676 @default.
- W4301658218 hasRelatedWork W2017112542 @default.
- W4301658218 hasRelatedWork W2463557478 @default.
- W4301658218 hasRelatedWork W2809872959 @default.
- W4301658218 hasRelatedWork W2904498177 @default.
- W4301658218 hasRelatedWork W2963823627 @default.
- W4301658218 hasRelatedWork W3115410114 @default.
- W4301658218 hasRelatedWork W4289115784 @default.
- W4301658218 hasRelatedWork W4301658218 @default.
- W4301658218 hasRelatedWork W4302372401 @default.
- W4301658218 isParatext "false" @default.
- W4301658218 isRetracted "false" @default.
- W4301658218 workType "article" @default.