Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366999558> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4366999558 abstract "In this paper, we study the finite satisfiability problem for the logic BE under the homogeneity assumption. BE is the cornerstone of Halpern and Shoham's interval temporal logic, and features modal operators corresponding to the prefix (a.k.a. Begins) and suffix (a.k.a. Ends) relations on intervals. In terms of complexity, BE lies in between the Chop logic C, whose satisfiability problem is known to be non-elementary, and the PSPACE-complete interval logic D of the sub-interval (a.k.a. During) relation. BE was shown to be EXPSPACE-hard, and the only known satisfiability procedure is primitive recursive, but not elementary. Our contribution consists of tightening the complexity bounds of the satisfiability problem for BE, by proving it to be EXPSPACE-complete. We do so by devising an equi-satisfiable normal form with boundedly many nested modalities. The normalization technique resembles Scott's quantifier elimination, but it turns out to be much more involved due to the limitations enforced by the homogeneity assumption." @default.
- W4366999558 created "2023-04-27" @default.
- W4366999558 creator A5011999109 @default.
- W4366999558 creator A5033663075 @default.
- W4366999558 creator A5048011945 @default.
- W4366999558 creator A5050753589 @default.
- W4366999558 date "2023-04-22" @default.
- W4366999558 modified "2023-09-25" @default.
- W4366999558 title "The Logic of Prefixes and Suffixes is Elementary under Homogeneity" @default.
- W4366999558 doi "https://doi.org/10.48550/arxiv.2304.11483" @default.
- W4366999558 hasPublicationYear "2023" @default.
- W4366999558 type Work @default.
- W4366999558 citedByCount "0" @default.
- W4366999558 crossrefType "posted-content" @default.
- W4366999558 hasAuthorship W4366999558A5011999109 @default.
- W4366999558 hasAuthorship W4366999558A5033663075 @default.
- W4366999558 hasAuthorship W4366999558A5048011945 @default.
- W4366999558 hasAuthorship W4366999558A5050753589 @default.
- W4366999558 hasBestOaLocation W43669995581 @default.
- W4366999558 hasConcept C11413529 @default.
- W4366999558 hasConcept C114614502 @default.
- W4366999558 hasConcept C118615104 @default.
- W4366999558 hasConcept C138885662 @default.
- W4366999558 hasConcept C141603448 @default.
- W4366999558 hasConcept C162670838 @default.
- W4366999558 hasConcept C168773769 @default.
- W4366999558 hasConcept C185592680 @default.
- W4366999558 hasConcept C188027245 @default.
- W4366999558 hasConcept C27508121 @default.
- W4366999558 hasConcept C33923547 @default.
- W4366999558 hasConcept C41895202 @default.
- W4366999558 hasConcept C4777664 @default.
- W4366999558 hasConcept C6943359 @default.
- W4366999558 hasConcept C71139939 @default.
- W4366999558 hasConceptScore W4366999558C11413529 @default.
- W4366999558 hasConceptScore W4366999558C114614502 @default.
- W4366999558 hasConceptScore W4366999558C118615104 @default.
- W4366999558 hasConceptScore W4366999558C138885662 @default.
- W4366999558 hasConceptScore W4366999558C141603448 @default.
- W4366999558 hasConceptScore W4366999558C162670838 @default.
- W4366999558 hasConceptScore W4366999558C168773769 @default.
- W4366999558 hasConceptScore W4366999558C185592680 @default.
- W4366999558 hasConceptScore W4366999558C188027245 @default.
- W4366999558 hasConceptScore W4366999558C27508121 @default.
- W4366999558 hasConceptScore W4366999558C33923547 @default.
- W4366999558 hasConceptScore W4366999558C41895202 @default.
- W4366999558 hasConceptScore W4366999558C4777664 @default.
- W4366999558 hasConceptScore W4366999558C6943359 @default.
- W4366999558 hasConceptScore W4366999558C71139939 @default.
- W4366999558 hasLocation W43669995581 @default.
- W4366999558 hasOpenAccess W4366999558 @default.
- W4366999558 hasPrimaryLocation W43669995581 @default.
- W4366999558 hasRelatedWork W2007102962 @default.
- W4366999558 hasRelatedWork W2095952582 @default.
- W4366999558 hasRelatedWork W2154175621 @default.
- W4366999558 hasRelatedWork W2242922271 @default.
- W4366999558 hasRelatedWork W2396832940 @default.
- W4366999558 hasRelatedWork W2560587823 @default.
- W4366999558 hasRelatedWork W2897975441 @default.
- W4366999558 hasRelatedWork W3102809343 @default.
- W4366999558 hasRelatedWork W3199921016 @default.
- W4366999558 hasRelatedWork W47963539 @default.
- W4366999558 isParatext "false" @default.
- W4366999558 isRetracted "false" @default.
- W4366999558 workType "article" @default.