Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications

In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 475-497 (2018)
  Copy   BIBTEX

Abstract

In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of 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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-62864-6_20

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Differential Games in Economics and Management Science.Engelbert J. Dockner, Steffen Jorgensen, Ngo Van Long & Gerhard Sorger - 2000 - Cambridge University Press.
Applications of Linear Logic to Computation: An Overview.Vladimir Alexiev - 1994 - Logic Journal of the IGPL 2 (1):77-107.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences.Fausto Barbero - 2017 - Journal of Logic, Language and Information 26 (3):221-260.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Review: F. D. Parker, Boolean Matrices and Logic; Hugh G. Campbell, Linear Algebra with Applications Including Linear Programming. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):614-615.
Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386.Allen L. Mann, Gabriel Sandu & Merlijn Sevenster - 2012 - Bulletin of Symbolic Logic 18 (2):272-273.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Dichotomy result for independence-friendly prefixes of generalized quantifiers.Merlijn Sevenster - 2014 - Journal of Symbolic Logic 79 (4):1224-1246.
Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
Petri nets, Horn programs, Linear Logic and vector games.Max I. Kanovich - 1995 - Annals of Pure and Applied Logic 75 (1-2):107-135.
Linear logic automata.Max I. Kanovich - 1996 - Annals of Pure and Applied Logic 78 (1-3):147-188.

Analytics

Added to PP
2019-01-28

Downloads
7 (#1,404,153)

6 months
3 (#1,027,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references