Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970957458> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2970957458 abstract "We study freeze tense logic over well-founded data streams. The logic features past- and future-navigating modalities along with freeze quantifiers, which store the datum of the current position and test data (in)equality later in the formula. We introduce a decidable fragment of that logic, and present a proof system that is sound for the whole logic, and complete for this fragment. Technically, this is a hypersequent system enriched with an ordering, clusters, and annotations. The proof system is tailored for proof search, and yields an optimal Open image in new window complexity for validity and a small model property for our fragment." @default.
- W2970957458 created "2019-09-05" @default.
- W2970957458 creator A5085680090 @default.
- W2970957458 date "2019-01-01" @default.
- W2970957458 modified "2023-09-25" @default.
- W2970957458 title "A Hypersequent Calculus with Clusters for Data Logic over Ordinals" @default.
- W2970957458 cites W101915042 @default.
- W2970957458 cites W1517890215 @default.
- W2970957458 cites W1575080936 @default.
- W2970957458 cites W169526355 @default.
- W2970957458 cites W172257391 @default.
- W2970957458 cites W1812897951 @default.
- W2970957458 cites W1966647830 @default.
- W2970957458 cites W1971043428 @default.
- W2970957458 cites W1981561399 @default.
- W2970957458 cites W1995718667 @default.
- W2970957458 cites W1996723544 @default.
- W2970957458 cites W2003227046 @default.
- W2970957458 cites W2021289373 @default.
- W2970957458 cites W2021449336 @default.
- W2970957458 cites W2023808162 @default.
- W2970957458 cites W2025713304 @default.
- W2970957458 cites W2036265926 @default.
- W2970957458 cites W2073614038 @default.
- W2970957458 cites W2093382104 @default.
- W2970957458 cites W2095349379 @default.
- W2970957458 cites W2129335898 @default.
- W2970957458 cites W2131159347 @default.
- W2970957458 cites W2177814128 @default.
- W2970957458 cites W2185933163 @default.
- W2970957458 cites W2313862367 @default.
- W2970957458 cites W2535950331 @default.
- W2970957458 cites W2726021294 @default.
- W2970957458 cites W27601353 @default.
- W2970957458 cites W2801542259 @default.
- W2970957458 cites W2890113545 @default.
- W2970957458 cites W2952266239 @default.
- W2970957458 cites W2952863203 @default.
- W2970957458 cites W2963620995 @default.
- W2970957458 cites W2965199304 @default.
- W2970957458 cites W3104559464 @default.
- W2970957458 cites W4248156396 @default.
- W2970957458 doi "https://doi.org/10.1007/978-3-030-29026-9_10" @default.
- W2970957458 hasPublicationYear "2019" @default.
- W2970957458 type Work @default.
- W2970957458 sameAs 2970957458 @default.
- W2970957458 citedByCount "1" @default.
- W2970957458 countsByYear W29709574582018 @default.
- W2970957458 crossrefType "book-chapter" @default.
- W2970957458 hasAuthorship W2970957458A5085680090 @default.
- W2970957458 hasBestOaLocation W29709574582 @default.
- W2970957458 hasConcept C11413529 @default.
- W2970957458 hasConcept C153269930 @default.
- W2970957458 hasConcept C199360897 @default.
- W2970957458 hasConcept C205649164 @default.
- W2970957458 hasConcept C2776235265 @default.
- W2970957458 hasConcept C41008148 @default.
- W2970957458 hasConcept C58640448 @default.
- W2970957458 hasConcept C58754882 @default.
- W2970957458 hasConcept C80444323 @default.
- W2970957458 hasConceptScore W2970957458C11413529 @default.
- W2970957458 hasConceptScore W2970957458C153269930 @default.
- W2970957458 hasConceptScore W2970957458C199360897 @default.
- W2970957458 hasConceptScore W2970957458C205649164 @default.
- W2970957458 hasConceptScore W2970957458C2776235265 @default.
- W2970957458 hasConceptScore W2970957458C41008148 @default.
- W2970957458 hasConceptScore W2970957458C58640448 @default.
- W2970957458 hasConceptScore W2970957458C58754882 @default.
- W2970957458 hasConceptScore W2970957458C80444323 @default.
- W2970957458 hasLocation W29709574581 @default.
- W2970957458 hasLocation W29709574582 @default.
- W2970957458 hasLocation W29709574583 @default.
- W2970957458 hasLocation W29709574584 @default.
- W2970957458 hasOpenAccess W2970957458 @default.
- W2970957458 hasPrimaryLocation W29709574581 @default.
- W2970957458 hasRelatedWork W1249507685 @default.
- W2970957458 hasRelatedWork W1491404282 @default.
- W2970957458 hasRelatedWork W2099613024 @default.
- W2970957458 hasRelatedWork W2589101975 @default.
- W2970957458 hasRelatedWork W2594911673 @default.
- W2970957458 hasRelatedWork W2602017964 @default.
- W2970957458 hasRelatedWork W2798805470 @default.
- W2970957458 hasRelatedWork W2801713646 @default.
- W2970957458 hasRelatedWork W2887003345 @default.
- W2970957458 hasRelatedWork W3114138200 @default.
- W2970957458 isParatext "false" @default.
- W2970957458 isRetracted "false" @default.
- W2970957458 magId "2970957458" @default.
- W2970957458 workType "book-chapter" @default.