Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366999801> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4366999801 abstract "Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantics of natural language. The logic allows for expressing independence constraints among quantified variables, in a similar vein to Henkin quantifiers, and has a nice game-theoretic semantics in terms of imperfect information games. However, the IF semantics exhibits some limitations. It treats the players asymmetrically, considering only one of the two players as having imperfect information when evaluating truth, resp., falsity, of a sentence. In addition, the truth and falsity of sentences coincide with the existence of a uniform winning strategy for one of the two players in the semantic imperfect information game. As a consequence, IF does admit undetermined sentences, which are neither true nor false, thus failing the law of excluded middle. In this paper, we investigate an extension of IF, called Alternating Dependence/Independence Friendly Logic (ADIF), tailored to overcome these limitations. To this end, we introduce a novel compositional semantics, generalising the one based on trumps proposed by Hodges for IF. The new semantics (i) allows for meaningfully restricting both players at the same time, (ii) enjoys the property of game-theoretic determinacy, (iii) recovers the law of excluded middle for sentences, and (iv) grants ADIF the full descriptive power of Second Order Logic. We also provide an equivalent Herbrand-Skolem semantics and a game-theoretic semantics for the prenex fragment of ADIF, the latter being defined in terms of a determined infinite-duration game that precisely captures the other two semantics on finite structures." @default.
- W4366999801 created "2023-04-27" @default.
- W4366999801 creator A5033663075 @default.
- W4366999801 creator A5035134915 @default.
- W4366999801 creator A5048258273 @default.
- W4366999801 creator A5052215915 @default.
- W4366999801 date "2023-04-23" @default.
- W4366999801 modified "2023-09-27" @default.
- W4366999801 title "Alternating (In)Dependence-Friendly Logic" @default.
- W4366999801 doi "https://doi.org/10.48550/arxiv.2304.11652" @default.
- W4366999801 hasPublicationYear "2023" @default.
- W4366999801 type Work @default.
- W4366999801 citedByCount "0" @default.
- W4366999801 crossrefType "posted-content" @default.
- W4366999801 hasAuthorship W4366999801A5033663075 @default.
- W4366999801 hasAuthorship W4366999801A5035134915 @default.
- W4366999801 hasAuthorship W4366999801A5048258273 @default.
- W4366999801 hasAuthorship W4366999801A5052215915 @default.
- W4366999801 hasBestOaLocation W43669998011 @default.
- W4366999801 hasConcept C105795698 @default.
- W4366999801 hasConcept C123676819 @default.
- W4366999801 hasConcept C138885662 @default.
- W4366999801 hasConcept C144237770 @default.
- W4366999801 hasConcept C154945302 @default.
- W4366999801 hasConcept C156325763 @default.
- W4366999801 hasConcept C184337299 @default.
- W4366999801 hasConcept C199360897 @default.
- W4366999801 hasConcept C207648694 @default.
- W4366999801 hasConcept C2777152325 @default.
- W4366999801 hasConcept C2777530160 @default.
- W4366999801 hasConcept C2777685122 @default.
- W4366999801 hasConcept C33923547 @default.
- W4366999801 hasConcept C35651441 @default.
- W4366999801 hasConcept C41008148 @default.
- W4366999801 hasConcept C41895202 @default.
- W4366999801 hasConcept C80444323 @default.
- W4366999801 hasConcept C9672783 @default.
- W4366999801 hasConceptScore W4366999801C105795698 @default.
- W4366999801 hasConceptScore W4366999801C123676819 @default.
- W4366999801 hasConceptScore W4366999801C138885662 @default.
- W4366999801 hasConceptScore W4366999801C144237770 @default.
- W4366999801 hasConceptScore W4366999801C154945302 @default.
- W4366999801 hasConceptScore W4366999801C156325763 @default.
- W4366999801 hasConceptScore W4366999801C184337299 @default.
- W4366999801 hasConceptScore W4366999801C199360897 @default.
- W4366999801 hasConceptScore W4366999801C207648694 @default.
- W4366999801 hasConceptScore W4366999801C2777152325 @default.
- W4366999801 hasConceptScore W4366999801C2777530160 @default.
- W4366999801 hasConceptScore W4366999801C2777685122 @default.
- W4366999801 hasConceptScore W4366999801C33923547 @default.
- W4366999801 hasConceptScore W4366999801C35651441 @default.
- W4366999801 hasConceptScore W4366999801C41008148 @default.
- W4366999801 hasConceptScore W4366999801C41895202 @default.
- W4366999801 hasConceptScore W4366999801C80444323 @default.
- W4366999801 hasConceptScore W4366999801C9672783 @default.
- W4366999801 hasLocation W43669998011 @default.
- W4366999801 hasOpenAccess W4366999801 @default.
- W4366999801 hasPrimaryLocation W43669998011 @default.
- W4366999801 hasRelatedWork W1606847470 @default.
- W4366999801 hasRelatedWork W1864279921 @default.
- W4366999801 hasRelatedWork W2035319944 @default.
- W4366999801 hasRelatedWork W2039122740 @default.
- W4366999801 hasRelatedWork W2172422355 @default.
- W4366999801 hasRelatedWork W2798278864 @default.
- W4366999801 hasRelatedWork W2952136710 @default.
- W4366999801 hasRelatedWork W3123477732 @default.
- W4366999801 hasRelatedWork W3176521083 @default.
- W4366999801 hasRelatedWork W993892971 @default.
- W4366999801 isParatext "false" @default.
- W4366999801 isRetracted "false" @default.
- W4366999801 workType "article" @default.