Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003201464> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3003201464 startingPage "17" @default.
- W3003201464 abstract "Team semantics admits reasoning about large sets of data, modelled by sets of assignments (called teams), with first-order syntax. This leads to high expressive power and complexity, particularly in the presence of atomic dependency properties for such data sets. It is therefore interesting to explore fragments and variants of logic with team semantics that permit model-theoretic tools and algorithmic methods to control this explosion in expressive power and complexity. We combine here the study of team semantics with the notion of guarded logics, which are well-understood in the case of classical Tarski semantics, and known to strike a good balance between expressive power and algorithmic manageability. In fact there are two strains of guardedness for teams. Horizontal guardedness requires the individual assignments of the team to be guarded in the usual sense of guarded logics. Vertical guardedness, on the other hand, posits an additional (or definable) hypergraph structure on relational structures in order to interpret a constraint on the component-wise variability of assignments within teams.In this paper we investigate the horizontally guarded case. We study horizontally guarded logics for teams and appropriate notions of guarded team bisimulation. In particular, we establish characterisation theorems that relate invariance under guarded team bisimulation with guarded team logics, but also with logics under classical Tarski semantics." @default.
- W3003201464 created "2020-02-07" @default.
- W3003201464 creator A5002705704 @default.
- W3003201464 creator A5010064604 @default.
- W3003201464 date "2020-01-01" @default.
- W3003201464 modified "2023-09-30" @default.
- W3003201464 title "Guarded Teams: The Horizontally Guarded Case" @default.
- W3003201464 doi "https://doi.org/10.4230/lipics.csl.2020.22" @default.
- W3003201464 hasPublicationYear "2020" @default.
- W3003201464 type Work @default.
- W3003201464 sameAs 3003201464 @default.
- W3003201464 citedByCount "0" @default.
- W3003201464 crossrefType "proceedings-article" @default.
- W3003201464 hasAuthorship W3003201464A5002705704 @default.
- W3003201464 hasAuthorship W3003201464A5010064604 @default.
- W3003201464 hasConcept C102993220 @default.
- W3003201464 hasConcept C118615104 @default.
- W3003201464 hasConcept C135315306 @default.
- W3003201464 hasConcept C154945302 @default.
- W3003201464 hasConcept C160131679 @default.
- W3003201464 hasConcept C184337299 @default.
- W3003201464 hasConcept C195818886 @default.
- W3003201464 hasConcept C199360897 @default.
- W3003201464 hasConcept C203659156 @default.
- W3003201464 hasConcept C2333172 @default.
- W3003201464 hasConcept C33923547 @default.
- W3003201464 hasConcept C41008148 @default.
- W3003201464 hasConcept C60048249 @default.
- W3003201464 hasConcept C80444323 @default.
- W3003201464 hasConceptScore W3003201464C102993220 @default.
- W3003201464 hasConceptScore W3003201464C118615104 @default.
- W3003201464 hasConceptScore W3003201464C135315306 @default.
- W3003201464 hasConceptScore W3003201464C154945302 @default.
- W3003201464 hasConceptScore W3003201464C160131679 @default.
- W3003201464 hasConceptScore W3003201464C184337299 @default.
- W3003201464 hasConceptScore W3003201464C195818886 @default.
- W3003201464 hasConceptScore W3003201464C199360897 @default.
- W3003201464 hasConceptScore W3003201464C203659156 @default.
- W3003201464 hasConceptScore W3003201464C2333172 @default.
- W3003201464 hasConceptScore W3003201464C33923547 @default.
- W3003201464 hasConceptScore W3003201464C41008148 @default.
- W3003201464 hasConceptScore W3003201464C60048249 @default.
- W3003201464 hasConceptScore W3003201464C80444323 @default.
- W3003201464 hasLocation W30032014641 @default.
- W3003201464 hasOpenAccess W3003201464 @default.
- W3003201464 hasPrimaryLocation W30032014641 @default.
- W3003201464 hasRelatedWork W1649425559 @default.
- W3003201464 hasRelatedWork W1805258570 @default.
- W3003201464 hasRelatedWork W1841214625 @default.
- W3003201464 hasRelatedWork W1902096291 @default.
- W3003201464 hasRelatedWork W1996674320 @default.
- W3003201464 hasRelatedWork W2034690236 @default.
- W3003201464 hasRelatedWork W2047220130 @default.
- W3003201464 hasRelatedWork W2067093513 @default.
- W3003201464 hasRelatedWork W2111152936 @default.
- W3003201464 hasRelatedWork W2120015120 @default.
- W3003201464 hasRelatedWork W2166423222 @default.
- W3003201464 hasRelatedWork W2169925928 @default.
- W3003201464 hasRelatedWork W2473447172 @default.
- W3003201464 hasRelatedWork W2551205082 @default.
- W3003201464 hasRelatedWork W2611436690 @default.
- W3003201464 hasRelatedWork W2795943823 @default.
- W3003201464 hasRelatedWork W3003255890 @default.
- W3003201464 hasRelatedWork W3013003957 @default.
- W3003201464 hasRelatedWork W3098932876 @default.
- W3003201464 hasRelatedWork W3154308639 @default.
- W3003201464 isParatext "false" @default.
- W3003201464 isRetracted "false" @default.
- W3003201464 magId "3003201464" @default.
- W3003201464 workType "article" @default.