Modular Games for Coalgebraic Fixed Point Logics.

Corina Cîrstea Mehrnoosh Sadrzadeh

Published in: CMCS (2008)

Keyphrases

fixed point
default logic
sufficient conditions
floating point
dynamical systems
game theory
modal logic
belief propagation
game playing
fixed point theorem
constraint databases
expressive power
nash equilibria
nash equilibrium
game theoretic
policy iteration
solution concepts
bargaining solution