Matches in SemOpenAlex for { <https://semopenalex.org/work/W2178865018> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2178865018 endingPage "413" @default.
- W2178865018 startingPage "393" @default.
- W2178865018 abstract "We introduce a restricted version of second order logic SOω in which the second order quantifiers range over relations that are closed under the equivalence relation ≡k of k variable equivalence, for some k. This restricted second order logic is an effective fragment of the infinitary logic L ωαω , which differs from other such fragments in that it is not based on a fixpoint logic. We explore the relationship of SOω with fixpoint logics, showing that its inclusion relations with these logics are equivalent to problems in complexity theory. We also look at the expressibility of NP-complete problems in this logic.KeywordsLinear OrderOrder LogicRelation SymbolOrder FormulaSimultaneous InductionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2178865018 created "2016-06-24" @default.
- W2178865018 creator A5080843415 @default.
- W2178865018 date "1995-01-01" @default.
- W2178865018 modified "2023-09-24" @default.
- W2178865018 title "A restricted second order logic for finite structures" @default.
- W2178865018 cites W1812706522 @default.
- W2178865018 cites W1929994216 @default.
- W2178865018 cites W1967986305 @default.
- W2178865018 cites W1974959615 @default.
- W2178865018 cites W1984581643 @default.
- W2178865018 cites W1984890936 @default.
- W2178865018 cites W1989783863 @default.
- W2178865018 cites W2042690606 @default.
- W2178865018 cites W2053534720 @default.
- W2178865018 cites W2059144726 @default.
- W2178865018 cites W2063406522 @default.
- W2178865018 cites W2065251436 @default.
- W2178865018 cites W2088094394 @default.
- W2178865018 cites W2132541147 @default.
- W2178865018 cites W2181072414 @default.
- W2178865018 cites W4245713184 @default.
- W2178865018 doi "https://doi.org/10.1007/3-540-60178-3_94" @default.
- W2178865018 hasPublicationYear "1995" @default.
- W2178865018 type Work @default.
- W2178865018 sameAs 2178865018 @default.
- W2178865018 citedByCount "9" @default.
- W2178865018 crossrefType "book-chapter" @default.
- W2178865018 hasAuthorship W2178865018A5080843415 @default.
- W2178865018 hasConcept C10138342 @default.
- W2178865018 hasConcept C102993220 @default.
- W2178865018 hasConcept C110039528 @default.
- W2178865018 hasConcept C11413529 @default.
- W2178865018 hasConcept C118615104 @default.
- W2178865018 hasConcept C134306372 @default.
- W2178865018 hasConcept C144791301 @default.
- W2178865018 hasConcept C156103551 @default.
- W2178865018 hasConcept C162324750 @default.
- W2178865018 hasConcept C169896238 @default.
- W2178865018 hasConcept C173125200 @default.
- W2178865018 hasConcept C182306322 @default.
- W2178865018 hasConcept C203659156 @default.
- W2178865018 hasConcept C2776235265 @default.
- W2178865018 hasConcept C2780069185 @default.
- W2178865018 hasConcept C33203268 @default.
- W2178865018 hasConcept C33923547 @default.
- W2178865018 hasConcept C41008148 @default.
- W2178865018 hasConcept C61445026 @default.
- W2178865018 hasConcept C80444323 @default.
- W2178865018 hasConceptScore W2178865018C10138342 @default.
- W2178865018 hasConceptScore W2178865018C102993220 @default.
- W2178865018 hasConceptScore W2178865018C110039528 @default.
- W2178865018 hasConceptScore W2178865018C11413529 @default.
- W2178865018 hasConceptScore W2178865018C118615104 @default.
- W2178865018 hasConceptScore W2178865018C134306372 @default.
- W2178865018 hasConceptScore W2178865018C144791301 @default.
- W2178865018 hasConceptScore W2178865018C156103551 @default.
- W2178865018 hasConceptScore W2178865018C162324750 @default.
- W2178865018 hasConceptScore W2178865018C169896238 @default.
- W2178865018 hasConceptScore W2178865018C173125200 @default.
- W2178865018 hasConceptScore W2178865018C182306322 @default.
- W2178865018 hasConceptScore W2178865018C203659156 @default.
- W2178865018 hasConceptScore W2178865018C2776235265 @default.
- W2178865018 hasConceptScore W2178865018C2780069185 @default.
- W2178865018 hasConceptScore W2178865018C33203268 @default.
- W2178865018 hasConceptScore W2178865018C33923547 @default.
- W2178865018 hasConceptScore W2178865018C41008148 @default.
- W2178865018 hasConceptScore W2178865018C61445026 @default.
- W2178865018 hasConceptScore W2178865018C80444323 @default.
- W2178865018 hasLocation W21788650181 @default.
- W2178865018 hasOpenAccess W2178865018 @default.
- W2178865018 hasPrimaryLocation W21788650181 @default.
- W2178865018 hasRelatedWork W1481219952 @default.
- W2178865018 hasRelatedWork W1859649522 @default.
- W2178865018 hasRelatedWork W2137257773 @default.
- W2178865018 hasRelatedWork W2152035036 @default.
- W2178865018 hasRelatedWork W2178865018 @default.
- W2178865018 hasRelatedWork W2521546535 @default.
- W2178865018 hasRelatedWork W2587727771 @default.
- W2178865018 hasRelatedWork W2950144551 @default.
- W2178865018 hasRelatedWork W311767895 @default.
- W2178865018 hasRelatedWork W4251068495 @default.
- W2178865018 isParatext "false" @default.
- W2178865018 isRetracted "false" @default.
- W2178865018 magId "2178865018" @default.
- W2178865018 workType "book-chapter" @default.