Fixed-Point Logics and Solitaire Games.

Dietmar Berwanger Erich Grädel

Published in: Theory Comput. Syst. (2004)

Keyphrases

fixed point
default logic
floating point
integer programming
dynamical systems
belief propagation
modal logic
sufficient conditions
game theoretic
game theory
expressive power
fixed point theorem
nash equilibria
nash equilibrium
variational inequalities
matching algorithm
linear programming
bargaining solution