Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Allen L. Mann"'
Autor:
Bradfield, Julian
Publikováno v:
The Bulletin of Symbolic Logic, 2012 Jun 01. 18(2), 272-273.
Externí odkaz:
https://www.jstor.org/stable/41494564
Autor:
Jouko Väänänen
Publikováno v:
Theory and Practice of Logic Programming. 14:137-140
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bf03323d616602453813c06f2ad5dde
https://doi.org/10.1017/s1471068413000082
https://doi.org/10.1017/s1471068413000082
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understo
Autor:
Julian C. Bradfield
Publikováno v:
The Bulletin of Symbolic Logic. 18:272-273
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c016c5b08a45aec17811dba68e8003d3
https://doi.org/10.1017/s1079898600000172
https://doi.org/10.1017/s1079898600000172
Autor:
Ville Aarnio, Allen L. Mann
Publikováno v:
Studia Logica. 106:1123-1162
Hintikka and Sandu's independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the present article, we first show how several variants of the Monty Hall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e9b6a93fec3101cb70803493fd9de50
https://doi.org/10.1007/s11225-017-9777-1
https://doi.org/10.1007/s11225-017-9777-1
Autor:
Allen L. Mann, Pietro Galliani
Publikováno v:
Studia Logica. 101:293-322
We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu's equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da091cdd252748d5732973dfa1ea07dd
https://doi.org/10.1007/s11225-013-9475-6
https://doi.org/10.1007/s11225-013-9475-6
Autor:
Allen L. Mann
Publikováno v:
Logic Journal of IGPL. 17:719-754
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0da98fd3237b13c4a224baad5162aef
https://doi.org/10.1093/jigpal/jzp029
https://doi.org/10.1093/jigpal/jzp029
Autor:
Allen L. Mann
Publikováno v:
Bolyai Society Mathematical Studies ISBN: 9783642350245
Independence-friendly logic (IF logic) [Hin,96, Hin-San,89] is a conservative extension of first-order logic that can be viewed as a generalization of Henkin’s branching quantifiers [Hen,61]. For example, in the branching quantifier sentence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f0418363f34ccc0a1f543ccc9637c22
https://doi.org/10.1007/978-3-642-35025-2_17
https://doi.org/10.1007/978-3-642-35025-2_17
Publikováno v:
Independence-Friendly Logic: A Game-Theoretic Approach
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::373abe97ece9fc24a629cd7626f6e4ab
https://doi.org/10.1017/cbo9780511981418
https://doi.org/10.1017/cbo9780511981418