Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055269743> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2055269743 endingPage "95" @default.
- W2055269743 startingPage "79" @default.
- W2055269743 abstract "In this paper we relax the assumption that the logical constants of ordinary first-order logic be linearly ordered. As a consequence, we shall have formulas involving not only partially ordered quantifiers, but also partially ordered connectives. The resulting language, called the language of informational independence (II-language, for short) will be given an interpretation in terms of games of imperfect information. The II-logic will be seen to have some interesting properties: (I) It is very natural to define in this logic two negations, weak negation as failure to verify a sentence, and strong negation as the existence of a falsifying strategy: (ii) One can express in this logic complete problems of finite structures, like the non-connectedness and 3-colorability of finite graphs, the satisfiability problem for Boolean circuits built up from NAND-gates, etc." @default.
- W2055269743 created "2016-06-24" @default.
- W2055269743 creator A5014492542 @default.
- W2055269743 date "1997-01-01" @default.
- W2055269743 modified "2023-10-16" @default.
- W2055269743 title "The logic of informational independence and finite models" @default.
- W2055269743 doi "https://doi.org/10.1093/jigpal/5.1.79" @default.
- W2055269743 hasPublicationYear "1997" @default.
- W2055269743 type Work @default.
- W2055269743 sameAs 2055269743 @default.
- W2055269743 citedByCount "4" @default.
- W2055269743 crossrefType "journal-article" @default.
- W2055269743 hasAuthorship W2055269743A5014492542 @default.
- W2055269743 hasConcept C102993220 @default.
- W2055269743 hasConcept C105795698 @default.
- W2055269743 hasConcept C118615104 @default.
- W2055269743 hasConcept C144791301 @default.
- W2055269743 hasConcept C150889026 @default.
- W2055269743 hasConcept C16796852 @default.
- W2055269743 hasConcept C169896238 @default.
- W2055269743 hasConcept C199360897 @default.
- W2055269743 hasConcept C2185349 @default.
- W2055269743 hasConcept C33923547 @default.
- W2055269743 hasConcept C35651441 @default.
- W2055269743 hasConcept C41008148 @default.
- W2055269743 hasConcept C80444323 @default.
- W2055269743 hasConceptScore W2055269743C102993220 @default.
- W2055269743 hasConceptScore W2055269743C105795698 @default.
- W2055269743 hasConceptScore W2055269743C118615104 @default.
- W2055269743 hasConceptScore W2055269743C144791301 @default.
- W2055269743 hasConceptScore W2055269743C150889026 @default.
- W2055269743 hasConceptScore W2055269743C16796852 @default.
- W2055269743 hasConceptScore W2055269743C169896238 @default.
- W2055269743 hasConceptScore W2055269743C199360897 @default.
- W2055269743 hasConceptScore W2055269743C2185349 @default.
- W2055269743 hasConceptScore W2055269743C33923547 @default.
- W2055269743 hasConceptScore W2055269743C35651441 @default.
- W2055269743 hasConceptScore W2055269743C41008148 @default.
- W2055269743 hasConceptScore W2055269743C80444323 @default.
- W2055269743 hasIssue "1" @default.
- W2055269743 hasLocation W20552697431 @default.
- W2055269743 hasOpenAccess W2055269743 @default.
- W2055269743 hasPrimaryLocation W20552697431 @default.
- W2055269743 hasRelatedWork W189555107 @default.
- W2055269743 hasRelatedWork W2033995545 @default.
- W2055269743 hasRelatedWork W2075756851 @default.
- W2055269743 hasRelatedWork W2148385576 @default.
- W2055269743 hasRelatedWork W2361674966 @default.
- W2055269743 hasRelatedWork W2995723524 @default.
- W2055269743 hasRelatedWork W3016207443 @default.
- W2055269743 hasRelatedWork W4284959450 @default.
- W2055269743 hasRelatedWork W42912984 @default.
- W2055269743 hasRelatedWork W914265644 @default.
- W2055269743 hasVolume "5" @default.
- W2055269743 isParatext "false" @default.
- W2055269743 isRetracted "false" @default.
- W2055269743 magId "2055269743" @default.
- W2055269743 workType "article" @default.