FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W91200808> ?p ?o ?g. }

• W91200808 abstract "It is well-known that Independence Friendly (IF) logic is equivalent to existential second-order logic (Σ11) and, therefore, is not closed under classical negation. The boolean closure of IF sentences, called Extended IF-logic, on the other hand, corresponds to a proper fragment of Δ21. In this paper we consider IF-logic extended with Hodges' flattening operator, which allows classical negation to occur also under the scope of IF quantifiers. We show that, nevertheless, the expressive power of this logic does not go beyond Δ21. As part of the proof, we give a prenex normal form result and introduce a non-trivial syntactic fragment of full second-order logic that we show to be contained in Δ21." @default.
• W91200808 created "2016-06-24" @default.
• W91200808 creator A5009170422 @default.
• W91200808 creator A5082992052 @default.
• W91200808 creator A5083233595 @default.
• W91200808 date "2011-01-01" @default.
• W91200808 modified "2023-10-06" @default.
• W91200808 title "On the Expressive Power of IF-Logic with Classical Negation" @default.
• W91200808 cites W1548835575 @default.
• W91200808 cites W1778486997 @default.
• W91200808 cites W1990514682 @default.
• W91200808 cites W2070509093 @default.
• W91200808 cites W2083018613 @default.
• W91200808 cites W2122996319 @default.
• W91200808 cites W2171275058 @default.
• W91200808 cites W4231177325 @default.
• W91200808 doi "https://doi.org/10.1007/978-3-642-20920-8_16" @default.
• W91200808 hasPublicationYear "2011" @default.
• W91200808 type Work @default.
• W91200808 sameAs 91200808 @default.
• W91200808 citedByCount "2" @default.
• W91200808 countsByYear W912008082014 @default.
• W91200808 crossrefType "book-chapter" @default.
• W91200808 hasAuthorship W91200808A5009170422 @default.
• W91200808 hasAuthorship W91200808A5082992052 @default.
• W91200808 hasAuthorship W91200808A5083233595 @default.
• W91200808 hasBestOaLocation W912008082 @default.
• W91200808 hasConcept C102993220 @default.
• W91200808 hasConcept C110039528 @default.
• W91200808 hasConcept C11413529 @default.
• W91200808 hasConcept C121332964 @default.
• W91200808 hasConcept C136119220 @default.
• W91200808 hasConcept C146834321 @default.
• W91200808 hasConcept C150889026 @default.
• W91200808 hasConcept C162324750 @default.
• W91200808 hasConcept C165801399 @default.
• W91200808 hasConcept C169896238 @default.
• W91200808 hasConcept C172385210 @default.
• W91200808 hasConcept C178421362 @default.
• W91200808 hasConcept C194146651 @default.
• W91200808 hasConcept C195818886 @default.
• W91200808 hasConcept C19689857 @default.
• W91200808 hasConcept C199360897 @default.
• W91200808 hasConcept C202444582 @default.
• W91200808 hasConcept C203659156 @default.
• W91200808 hasConcept C2039508 @default.
• W91200808 hasConcept C2185349 @default.
• W91200808 hasConcept C2776235265 @default.
• W91200808 hasConcept C2777796570 @default.
• W91200808 hasConcept C32241873 @default.
• W91200808 hasConcept C33203268 @default.
• W91200808 hasConcept C33923547 @default.
• W91200808 hasConcept C34447519 @default.
• W91200808 hasConcept C3845977 @default.
• W91200808 hasConcept C41008148 @default.
• W91200808 hasConcept C62520636 @default.
• W91200808 hasConcept C69562738 @default.
• W91200808 hasConceptScore W91200808C102993220 @default.
• W91200808 hasConceptScore W91200808C110039528 @default.
• W91200808 hasConceptScore W91200808C11413529 @default.
• W91200808 hasConceptScore W91200808C121332964 @default.
• W91200808 hasConceptScore W91200808C136119220 @default.
• W91200808 hasConceptScore W91200808C146834321 @default.
• W91200808 hasConceptScore W91200808C150889026 @default.
• W91200808 hasConceptScore W91200808C162324750 @default.
• W91200808 hasConceptScore W91200808C165801399 @default.
• W91200808 hasConceptScore W91200808C169896238 @default.
• W91200808 hasConceptScore W91200808C172385210 @default.
• W91200808 hasConceptScore W91200808C178421362 @default.
• W91200808 hasConceptScore W91200808C194146651 @default.
• W91200808 hasConceptScore W91200808C195818886 @default.
• W91200808 hasConceptScore W91200808C19689857 @default.
• W91200808 hasConceptScore W91200808C199360897 @default.
• W91200808 hasConceptScore W91200808C202444582 @default.
• W91200808 hasConceptScore W91200808C203659156 @default.
• W91200808 hasConceptScore W91200808C2039508 @default.
• W91200808 hasConceptScore W91200808C2185349 @default.
• W91200808 hasConceptScore W91200808C2776235265 @default.
• W91200808 hasConceptScore W91200808C2777796570 @default.
• W91200808 hasConceptScore W91200808C32241873 @default.
• W91200808 hasConceptScore W91200808C33203268 @default.
• W91200808 hasConceptScore W91200808C33923547 @default.
• W91200808 hasConceptScore W91200808C34447519 @default.
• W91200808 hasConceptScore W91200808C3845977 @default.
• W91200808 hasConceptScore W91200808C41008148 @default.
• W91200808 hasConceptScore W91200808C62520636 @default.
• W91200808 hasConceptScore W91200808C69562738 @default.
• W91200808 hasLocation W912008081 @default.
• W91200808 hasLocation W912008082 @default.
• W91200808 hasOpenAccess W91200808 @default.
• W91200808 hasPrimaryLocation W912008081 @default.
• W91200808 hasRelatedWork W115510980 @default.
• W91200808 hasRelatedWork W1482215821 @default.
• W91200808 hasRelatedWork W1489785129 @default.
• W91200808 hasRelatedWork W1550837705 @default.
• W91200808 hasRelatedWork W1560972796 @default.
• W91200808 hasRelatedWork W192749010 @default.
• W91200808 hasRelatedWork W2000077669 @default.
• W91200808 hasRelatedWork W2005948404 @default.
• W91200808 hasRelatedWork W2006556467 @default.

• next