Game Solution, Epistemic Dynamics and Fixed-Point Logics.
Johan van BenthemAmélie GheerbrantPublished in: Fundam. Informaticae (2010)
Keyphrases
- fixed point
- dynamical systems
- bargaining solution
- initial conditions
- stationary points
- sufficient conditions
- variational inequalities
- default logic
- epistemic logic
- floating point
- expressive power
- game theory
- belief propagation
- nash equilibrium
- constraint databases
- belief change
- optimal solution
- differential equations
- modal logic
- relational databases