Abstract
In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of (mixed strategy) Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independence-friendly logic under the so-called equilibrium semantics.
Notes
- 1.
The author is grateful to Allen L. Mann for suggesting this point of view.
References
Blass A, Gurevich Y (1986) Henkin quantifiers and complete problems. Ann Pure App Logic 32:1–16
Cormen T, Leiserson C, Rivest R, Stein C (2003) Introduction to algorithms. 2th edn. McGraw-Hill
Dechesne F (2005) Game, Set, Maths: Formal investigations into logic with imperfect information. PhD thesis, Tilburg University, Tilburg
Fagin R (1974) Generalized first-order spectra and polynomial-time recognizable sets. In: Karp RM (ed) SIAM-AMS Proceedings, Complexity of Computation, vol 7, pp 43–73
Galliani P (2008) Game values and equilibria for undetermined sentences of dependence logic. Master’s thesis. Master of Logic Series 2008-08, University of Amsterdam, Amsterdam
Galliani P, Mann AL. Lottery semantics: A compositional semantics for probabilistic first-order logic with imperfect information. Studia Logica, in press
Hintikka J (1973) Clarendon Logic. Language games and information, Oxford
Hintikka J (1996) Principles of mathematics revisited. Cambridge University Press, Cambridge, UK
Hintikka J, Sandu G (1989) Informational independence as a semantic phenomenon. In: Fenstad JE et al (eds) Logic. Methodology and Philosophy of Science, volume 8. Elsevier, Amsterdam, pp 571–589
Mann AL, Sandu G, Sevenster M (2011) Independence-friendly logic: a game-theoretic approach. Cambridge University Press
Nash John (1951) Non-cooperative games. Ann Math 54:286–295
Raghavan TES (1994) Zero-sum two person games. In: Aumann RJ, Hart S (eds) Handbook of Game Theory with Economic Applications. vol 2. Elsevier, Amsterdam, pp 736–759
Sevenster M (2006) Branches of imperfect information: logic, games, and computation. PhD thesis, University of Amsterdam, Amsterdam
Sevenster M, Sandu G (2010) Equilibrium semantics of languages of imperfect information. Ann Pur App Logic 161:618–631
von Neumann J (1928) Zur theorie der gesellschaftsspiele. Math Ann 100:295–320
Wittgenstein L (1958) Philosophical investigations. Basil Blackwell, Oxford. Translated by G. E. M. Anscombe.
Acknowledgements
We gratefully acknowledge Fausto Barbero for careful proofreading.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Sevenster, M. (2018). Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications. In: van Ditmarsch, H., Sandu, G. (eds) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Outstanding Contributions to Logic, vol 12. Springer, Cham. https://doi.org/10.1007/978-3-319-62864-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-62864-6_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62863-9
Online ISBN: 978-3-319-62864-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)