Modal Frame Correspondences and Fixed-Points.

Johan van Benthem

Published in: Stud Logica (2006)

Keyphrases

fixed point
sufficient conditions
temporal difference learning
approximate value iteration
pairwise
dynamical systems
asymptotic properties
belief propagation
modal logic
linear logic
distributed systems
post processing
free energy
stationary points