Matches in SemOpenAlex for { <https://semopenalex.org/work/W2271873485> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2271873485 abstract "we introduce a generalization of Independence Friendly (IF) logic in which Eloise is restricted to a nite amount of information about Abelard's moves. This Logic is shown to be equivalent to a sublogic ∃∀ of rst order logic, has the nite model property, and is decidable. Moreover, it gives an exponential compression relative to ∃∀ logic. Partial information logic is a generalization of both rst order logic and Hintikka-Sandu [3] IF-logic. We motivate this logic by means of an example. Suppose we have a model M on some domain D and some formula A = (∀x)(∀y)(∃z)R(x, y, z) where R is atomic. Then to this formula corresponds a game between two players Abelard and Eloise. Abelard chooses two elements a, b from D. Then Eloise chooses a third element c from D. If the formula R(a, b, c) holds in M then Eloise has won, else Abelard has. Now it can be shown that the formula A is true inM i Eloise has a winning strategy. The game as we have just desribed tells us how classical rst order logic works. To look at IF-logic we consider a slight variant. Let B be the variant of A obtained by writing B = (∀x)(∀y)(∃z/x)R(x, y, z). Now the game proceeds as before with Abelard choosing a, b and Eloise choosing c, but now, the choice of c has to be independent of a because the quanti er ∃z has now been marked by a /x, indicating independence of x, or as we might say, ignorance of x. But we could just as easily say that Eloise's knowledge is restricted to the value of y, i.e. to b. Instead of concentrating on what Eloise does not know we concentrate on what she does. Similar restrictions might of course apply to Abelard in case he too has a move which follows the move of Eloise. ∗City University of New York †University of Helsinki" @default.
- W2271873485 created "2016-06-24" @default.
- W2271873485 creator A5061360551 @default.
- W2271873485 creator A5067128079 @default.
- W2271873485 date "2003-01-01" @default.
- W2271873485 modified "2023-09-26" @default.
- W2271873485 title "TR-2003003: Finite Information Logic" @default.
- W2271873485 cites W1990514682 @default.
- W2271873485 cites W2070509093 @default.
- W2271873485 hasPublicationYear "2003" @default.
- W2271873485 type Work @default.
- W2271873485 sameAs 2271873485 @default.
- W2271873485 citedByCount "0" @default.
- W2271873485 crossrefType "journal-article" @default.
- W2271873485 hasAuthorship W2271873485A5061360551 @default.
- W2271873485 hasAuthorship W2271873485A5067128079 @default.
- W2271873485 hasConcept C10138342 @default.
- W2271873485 hasConcept C105795698 @default.
- W2271873485 hasConcept C111472728 @default.
- W2271873485 hasConcept C118615104 @default.
- W2271873485 hasConcept C138885662 @default.
- W2271873485 hasConcept C153269930 @default.
- W2271873485 hasConcept C162324750 @default.
- W2271873485 hasConcept C177148314 @default.
- W2271873485 hasConcept C182306322 @default.
- W2271873485 hasConcept C33923547 @default.
- W2271873485 hasConcept C35651441 @default.
- W2271873485 hasConceptScore W2271873485C10138342 @default.
- W2271873485 hasConceptScore W2271873485C105795698 @default.
- W2271873485 hasConceptScore W2271873485C111472728 @default.
- W2271873485 hasConceptScore W2271873485C118615104 @default.
- W2271873485 hasConceptScore W2271873485C138885662 @default.
- W2271873485 hasConceptScore W2271873485C153269930 @default.
- W2271873485 hasConceptScore W2271873485C162324750 @default.
- W2271873485 hasConceptScore W2271873485C177148314 @default.
- W2271873485 hasConceptScore W2271873485C182306322 @default.
- W2271873485 hasConceptScore W2271873485C33923547 @default.
- W2271873485 hasConceptScore W2271873485C35651441 @default.
- W2271873485 hasLocation W22718734851 @default.
- W2271873485 hasOpenAccess W2271873485 @default.
- W2271873485 hasPrimaryLocation W22718734851 @default.
- W2271873485 hasRelatedWork W1482089168 @default.
- W2271873485 hasRelatedWork W1575170575 @default.
- W2271873485 hasRelatedWork W178526657 @default.
- W2271873485 hasRelatedWork W1967005796 @default.
- W2271873485 hasRelatedWork W1979462201 @default.
- W2271873485 hasRelatedWork W1990040771 @default.
- W2271873485 hasRelatedWork W2013759211 @default.
- W2271873485 hasRelatedWork W2044867160 @default.
- W2271873485 hasRelatedWork W2071035160 @default.
- W2271873485 hasRelatedWork W2086427532 @default.
- W2271873485 hasRelatedWork W2138909286 @default.
- W2271873485 hasRelatedWork W2312648798 @default.
- W2271873485 hasRelatedWork W2316061356 @default.
- W2271873485 hasRelatedWork W2321171770 @default.
- W2271873485 hasRelatedWork W2325302426 @default.
- W2271873485 hasRelatedWork W2330347257 @default.
- W2271873485 hasRelatedWork W2470290936 @default.
- W2271873485 hasRelatedWork W2953123467 @default.
- W2271873485 hasRelatedWork W347677130 @default.
- W2271873485 hasRelatedWork W830665955 @default.
- W2271873485 isParatext "false" @default.
- W2271873485 isRetracted "false" @default.
- W2271873485 magId "2271873485" @default.
- W2271873485 workType "article" @default.