Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003255890> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3003255890 startingPage "16" @default.
- W3003255890 abstract "We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion-exclusion games that turn out to be precisely the corresponding model-checking games. These games are not only interesting in their own right, but they also are a key factor towards building a bridge between the semantic and syntactic fragments. On the level of logics with team semantics we additionally present restrictions of inclusion-exclusion logic to capture the union closed fragment. Moreover, we define a team based atom that when adding it to first-order logic also precisely captures the union closed fragment of existential second-order logic which answers an open question by Galliani and Hella." @default.
- W3003255890 created "2020-02-07" @default.
- W3003255890 creator A5034213348 @default.
- W3003255890 creator A5041487013 @default.
- W3003255890 date "2020-01-01" @default.
- W3003255890 modified "2023-09-24" @default.
- W3003255890 title "On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics." @default.
- W3003255890 doi "https://doi.org/10.4230/lipics.csl.2020.25" @default.
- W3003255890 hasPublicationYear "2020" @default.
- W3003255890 type Work @default.
- W3003255890 sameAs 3003255890 @default.
- W3003255890 citedByCount "3" @default.
- W3003255890 countsByYear W30032558902019 @default.
- W3003255890 countsByYear W30032558902020 @default.
- W3003255890 crossrefType "proceedings-article" @default.
- W3003255890 hasAuthorship W3003255890A5034213348 @default.
- W3003255890 hasAuthorship W3003255890A5041487013 @default.
- W3003255890 hasConcept C111472728 @default.
- W3003255890 hasConcept C127882523 @default.
- W3003255890 hasConcept C138885662 @default.
- W3003255890 hasConcept C146834321 @default.
- W3003255890 hasConcept C153269930 @default.
- W3003255890 hasConcept C156325763 @default.
- W3003255890 hasConcept C17744445 @default.
- W3003255890 hasConcept C184337299 @default.
- W3003255890 hasConcept C192034797 @default.
- W3003255890 hasConcept C199360897 @default.
- W3003255890 hasConcept C199539241 @default.
- W3003255890 hasConcept C207648694 @default.
- W3003255890 hasConcept C2776235265 @default.
- W3003255890 hasConcept C33923547 @default.
- W3003255890 hasConcept C41008148 @default.
- W3003255890 hasConcept C80444323 @default.
- W3003255890 hasConcept C9672783 @default.
- W3003255890 hasConceptScore W3003255890C111472728 @default.
- W3003255890 hasConceptScore W3003255890C127882523 @default.
- W3003255890 hasConceptScore W3003255890C138885662 @default.
- W3003255890 hasConceptScore W3003255890C146834321 @default.
- W3003255890 hasConceptScore W3003255890C153269930 @default.
- W3003255890 hasConceptScore W3003255890C156325763 @default.
- W3003255890 hasConceptScore W3003255890C17744445 @default.
- W3003255890 hasConceptScore W3003255890C184337299 @default.
- W3003255890 hasConceptScore W3003255890C192034797 @default.
- W3003255890 hasConceptScore W3003255890C199360897 @default.
- W3003255890 hasConceptScore W3003255890C199539241 @default.
- W3003255890 hasConceptScore W3003255890C207648694 @default.
- W3003255890 hasConceptScore W3003255890C2776235265 @default.
- W3003255890 hasConceptScore W3003255890C33923547 @default.
- W3003255890 hasConceptScore W3003255890C41008148 @default.
- W3003255890 hasConceptScore W3003255890C80444323 @default.
- W3003255890 hasConceptScore W3003255890C9672783 @default.
- W3003255890 hasLocation W30032558901 @default.
- W3003255890 hasOpenAccess W3003255890 @default.
- W3003255890 hasPrimaryLocation W30032558901 @default.
- W3003255890 hasRelatedWork W1841214625 @default.
- W3003255890 hasRelatedWork W1968914536 @default.
- W3003255890 hasRelatedWork W1979956707 @default.
- W3003255890 hasRelatedWork W2011550070 @default.
- W3003255890 hasRelatedWork W2021560066 @default.
- W3003255890 hasRelatedWork W2034690236 @default.
- W3003255890 hasRelatedWork W2169925928 @default.
- W3003255890 hasRelatedWork W2171275058 @default.
- W3003255890 hasRelatedWork W2180095669 @default.
- W3003255890 hasRelatedWork W2551205082 @default.
- W3003255890 hasRelatedWork W2611436690 @default.
- W3003255890 hasRelatedWork W3003201464 @default.
- W3003255890 hasRelatedWork W3013003957 @default.
- W3003255890 hasRelatedWork W3016712490 @default.
- W3003255890 hasRelatedWork W3090180607 @default.
- W3003255890 hasRelatedWork W3098932876 @default.
- W3003255890 hasRelatedWork W3154308639 @default.
- W3003255890 hasRelatedWork W3187815958 @default.
- W3003255890 hasRelatedWork W352475549 @default.
- W3003255890 hasRelatedWork W2556751057 @default.
- W3003255890 isParatext "false" @default.
- W3003255890 isRetracted "false" @default.
- W3003255890 magId "3003255890" @default.
- W3003255890 workType "article" @default.