Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear Programming Tools for Analyzing Strategic Games of
  Independence-Friendly Logic and Applications   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.

6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn