Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100523841> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3100523841 abstract "We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve around a finer analysis of the tree-model property and a refinement of the method of moving back and forth between relational logics and logics over trees." @default.
- W3100523841 created "2020-11-23" @default.
- W3100523841 creator A5031309399 @default.
- W3100523841 creator A5037774973 @default.
- W3100523841 creator A5078941176 @default.
- W3100523841 date "2019-09-10" @default.
- W3100523841 modified "2023-09-23" @default.
- W3100523841 title "Definability and Interpolation within Decidable Fixpoint Logics" @default.
- W3100523841 hasPublicationYear "2019" @default.
- W3100523841 type Work @default.
- W3100523841 sameAs 3100523841 @default.
- W3100523841 citedByCount "0" @default.
- W3100523841 crossrefType "journal-article" @default.
- W3100523841 hasAuthorship W3100523841A5031309399 @default.
- W3100523841 hasAuthorship W3100523841A5037774973 @default.
- W3100523841 hasAuthorship W3100523841A5078941176 @default.
- W3100523841 hasConcept C102993220 @default.
- W3100523841 hasConcept C114092440 @default.
- W3100523841 hasConcept C118615104 @default.
- W3100523841 hasConcept C134306372 @default.
- W3100523841 hasConcept C153269930 @default.
- W3100523841 hasConcept C173125200 @default.
- W3100523841 hasConcept C199360897 @default.
- W3100523841 hasConcept C2185349 @default.
- W3100523841 hasConcept C33203268 @default.
- W3100523841 hasConcept C33923547 @default.
- W3100523841 hasConcept C41008148 @default.
- W3100523841 hasConcept C61445026 @default.
- W3100523841 hasConcept C78023250 @default.
- W3100523841 hasConceptScore W3100523841C102993220 @default.
- W3100523841 hasConceptScore W3100523841C114092440 @default.
- W3100523841 hasConceptScore W3100523841C118615104 @default.
- W3100523841 hasConceptScore W3100523841C134306372 @default.
- W3100523841 hasConceptScore W3100523841C153269930 @default.
- W3100523841 hasConceptScore W3100523841C173125200 @default.
- W3100523841 hasConceptScore W3100523841C199360897 @default.
- W3100523841 hasConceptScore W3100523841C2185349 @default.
- W3100523841 hasConceptScore W3100523841C33203268 @default.
- W3100523841 hasConceptScore W3100523841C33923547 @default.
- W3100523841 hasConceptScore W3100523841C41008148 @default.
- W3100523841 hasConceptScore W3100523841C61445026 @default.
- W3100523841 hasConceptScore W3100523841C78023250 @default.
- W3100523841 hasIssue "3" @default.
- W3100523841 hasOpenAccess W3100523841 @default.
- W3100523841 hasRelatedWork W123640415 @default.
- W3100523841 hasRelatedWork W1606528032 @default.
- W3100523841 hasRelatedWork W2022963984 @default.
- W3100523841 hasRelatedWork W2037682959 @default.
- W3100523841 hasRelatedWork W2041580396 @default.
- W3100523841 hasRelatedWork W2131087632 @default.
- W3100523841 hasRelatedWork W2395119740 @default.
- W3100523841 hasRelatedWork W2592299919 @default.
- W3100523841 hasRelatedWork W2761739794 @default.
- W3100523841 hasRelatedWork W2806319911 @default.
- W3100523841 hasRelatedWork W2895078906 @default.
- W3100523841 hasRelatedWork W2952995226 @default.
- W3100523841 hasRelatedWork W2963435309 @default.
- W3100523841 hasRelatedWork W2964052308 @default.
- W3100523841 hasRelatedWork W3000569492 @default.
- W3100523841 hasRelatedWork W3105213457 @default.
- W3100523841 hasRelatedWork W3125989314 @default.
- W3100523841 hasRelatedWork W3162960536 @default.
- W3100523841 hasRelatedWork W3195114123 @default.
- W3100523841 hasRelatedWork W1886429788 @default.
- W3100523841 hasVolume "15" @default.
- W3100523841 isParatext "false" @default.
- W3100523841 isRetracted "false" @default.
- W3100523841 magId "3100523841" @default.
- W3100523841 workType "article" @default.