References
Published online by Cambridge University Press: 01 June 2011
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Independence-Friendly LogicA Game-Theoretic Approach, pp. 198 - 202Publisher: Cambridge University PressPrint publication year: 2011
References
[1] and . The Letters of Abelard and Eloise. Penguin, London, revised edition, 2003. Translated by Betty Radice.Google Scholar
[2] . Logic games are complete for game logics. Studia Logica, 75:183–203, 2003.CrossRefGoogle Scholar
[3] . Probabilistic features in logic games. In and , editors, Quantifiers, Questions and Quantum Physics, pages 189–194. Springer, Dordrecht, 2004.CrossRefGoogle Scholar
[4] . The epistemic logic of IF games. In and , editors, The Philosophy of Jaakko Hintikka, volume 30 of Library of Living Philosophers, pages 481–513. Open Court, Chicago, 2006.Google Scholar
[6] , , and , editors. Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning. Elsevier, Amsterdam, 2007.Google Scholar
[7] and . Henkin quantifiers and complete problems. Annals of Pure and Applied Logic, 32:1–16, 1986.CrossRefGoogle Scholar
[8] . A remark on Henkin sentences and their contraries. Notre Dame Journal of Formal Logic, 44:185–188, 2003.CrossRefGoogle Scholar
[9] , , and . Equivalence and quantifier rules for logic with imperfect information. Logic Journal of IGPL, 17:91–129, 2009.CrossRefGoogle Scholar
[10] and . Quantifiers for reasoning with imperfect information and -logic. In and , editors, Advances in Contemporary Logic and Computer Science: Proceedings of the Eleveth Brazilian Conference on Mathematical Logic, May 6-10, 1996, volume 235 of Contemporary Mathematics, pages 17–31. American Mathematical Society, 1999.CrossRefGoogle Scholar
[11] and . Some combinatorics of imperfect information. Journal of Symbolic Logic, 66:673–684, 2001.CrossRefGoogle Scholar
[12] . A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40–41, 1936.CrossRefGoogle Scholar
[13] . Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, 22:269–285, 1957.CrossRefGoogle Scholar
[14] . Game, Set, Maths: Formal investigations into logic with imperfect information. PhD thesis, Tilburg University, Tilburg, 2005.
[17] , , and . Mathematical Logic. Undergraduate Texts in Mathematics. Springer-Verlag, Berlin, 2nd edition, 1994.CrossRefGoogle Scholar
[18] . An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae, 49:129–141, 1961.CrossRefGoogle Scholar
[19] . Finite partially ordered quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 16:393–397, 1970.CrossRefGoogle Scholar
[20] . Sur quelques classifications des systèmes de relations. Publications scientifiques, série A, 35–182, Université d'Alger, 1954.
[21] and . Infinite games with perfect information. In and , editors, Contributions to the Theory of Games II, volume 28 of Annals of Mathematics Studies, pages 245–266. Princeton University Press, Princeton, 1953.Google Scholar
[22] . Game values and equilibria for undetermined sentences of dependence logic. Master's thesis. Master of Logic Series 2008-08, University of Amsterdam, Amsterdam, 2008.
[23] and . Lottery semantics. In and , editors, Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic, pages 30–54, Copenhagen, August 16–20, 2010.Google Scholar
[24] and . Partially ordered connectives and finite graphs. In , , and , editors, Quantifiers: Logics, Models and Computation, volume 2, pages 79–88. Kluwer Academic Publishers, Dordrecht, 1995.CrossRefGoogle Scholar
[25] . Some remarks on infinitely long formulas. In , editor, Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, pages 167–183, Oxford, 1961. Pergamon Press.Google Scholar
[26] . Language-games for quantifiers. In Studies in Logical Theory, volume 2 of American Philosophical Quarterly Monograph Series, pages 46–72. Basil Blackwell, Oxford, 1968.Google Scholar
[28] . Principles of Mathematics Revisited. Cambridge University Press, Cambridge, UK, 1996.CrossRefGoogle Scholar
[30] and . Informational independence as a semantic phenomenon. In et al., editors, Logic, Methodology and Philosophy of Science, volume 8, pages 571–589. Elsevier, Amsterdam, 1989.Google Scholar
[31] and . Game-theoretical semantics. In and , editors, Handbook of Logic and Language, pages 361–481. North Holland, Amsterdam, 1997.CrossRefGoogle Scholar
[32] . Compositional semantics for a language of imperfect information. Logic Journal of the IGPL, 5:539–563, 1997.CrossRefGoogle Scholar
[33] . Some strange quantifiers. In , , and , editors, Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht, Lecture Notes in Computer Science, pages 51–65. Springer-Verlag, 1997.CrossRefGoogle Scholar
[35] . Extensive games. Proceedings of the National Academy of Sciences of the United States of America, 36:570–576, 1950.CrossRefGoogle ScholarPubMed
[36] . Extensive games and the problem of information. In and , editors, Contributions to the Theory of Games II, volume 28 of Annals of Mathematics Studies, pages 193–216. Princeton University Press, Princeton, 1953.Google Scholar
[37] . The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing, 6:467–480, 1977.CrossRefGoogle Scholar
[38] . Convention: A Philosophical Study. Harvard University Press, Cambridge, Massachusetts, 1969.Google Scholar
[39] . Independence-Friendly Cylindric Set Algebras. PhD thesis, University of Colorado at Boulder, 2007.
[40] . Independence-friendly cylindric set algebras. Logic Journal of IGPL, 17:719–754, 2009.CrossRefGoogle Scholar
[41] . Complexity of modal logic. In Blackburn et al. [6], pages 139–179.
[43] . Zur Theorie der Gesellschaftsspiele. Mathematische Annalen, 100:295–320, 1928.CrossRefGoogle Scholar
[46] . Reasoning and the Logic of Things. Harvard University Press, Cambridge, Massachusetts, 1992.Google Scholar
[47] and . On the interpretation of decision problems with imperfect recall. Games and Economic Behavior, 20:3–24, 1997.CrossRefGoogle Scholar
[48] . Zero-sum two person games. In and , editors, Handbook of Game Theory with Economic Applications, volume 2, pages 736–759. Elsevier, Amsterdam, 1994.Google Scholar
[49] . On the logic of informational independence and its applications. Journal of Philosophical Logic, 22:29–60, 1993.CrossRefGoogle Scholar
[50] . The logic of informational independence and finite models. Logic Journal of the IGPL, 5:79–95, 1997.CrossRefGoogle Scholar
[51] and . Partially ordered connectives. Mathematical Logic Quarterly, 38:361–372, 1992.CrossRefGoogle Scholar
[52] . Branches of Imperfect Information: Logic, Games, and Computation. PhD thesis, University of Amsterdam, Amsterdam, 2006.
[53] . Decidability of independence-friendly modal logic. Review of Symbolic Logic, 3:415–441, 2010.CrossRefGoogle Scholar
[54] and . Equilibrium semantics of languages of imperfect information. Annals of Pure and Applied Logic, 161:618–631, 2010.CrossRefGoogle Scholar
[55] . Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Videnskapsselskapet Skrifter, I. Matematisk-naturvidenskabelig Klasse, 4:1–36, 1920.Google Scholar
[56] . Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Löwenheim and generalizations of the theorem. In , editor, From Frege to Gödel: A Source Book in Mathematical Logic, pages 254–263. Harvard University Press, Cambridge, Massachusetts, 1967.Google Scholar
[58] . Pojȩcie prawdy w jȩzykach nauk dedukcyjnych (On the concept of truth in languages of deductive sciences). Warsaw, 1933. English translation in (Tarski 1983), pages 152–278.Google Scholar
[59] . The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4:341–376, 1944.CrossRefGoogle Scholar
[60] . Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Hackett, Indianapolis, 2nd edition, 1983.Google Scholar
[61] and . Arithmetical extensions of relational systems. Compositio Mathematica, 13:81–102, 1956–1958.Google Scholar
[62] . On IF modal logic and its expressive power. In , , , and , editors, Advances in Modal Logic, volume 4, pages 474–498. King's College Publications, 2003.Google Scholar
[63] . Independence-Friendly Modal Logic. PhD thesis, University of Helsinki, Helsinki, 2004.
[64] and . On modal logic, IF logic and IF modal logic. In and , editors, Advances in Modal Logic, volume 6, pages 481–501. College Publications, 2006.Google Scholar
[65] . A remark on nondeterminacy in IF logic. In and , editors, Truth and Games: Essays in Honour of Gabriel Sandu, chapter 4, pages 71–77. Societas Philosophica Fennica, Helsinki, 2006.Google Scholar
[67] . Finite partially-ordered quantification. Journal of Symbolic Logic, 35:535–555, 1970.CrossRefGoogle Scholar
[68] . Philosophical Investigations. Basil Blackwell, Oxford, 1958. Translated by G. E. M. Anscombe.Google Scholar