Interpolation, Definability and Fixed Points in Interpretability Logics.

Carlos Areces Eva Hoogland Dick de Jongh

Published in: Advances in Modal Logic (1998)

Keyphrases

fixed point
default logic
expressive power
modal logic
sufficient conditions
approximate value iteration
belief propagation
dynamical systems
initial conditions
temporal difference learning
inference rules
stationary points
higher order
upper bound
linear logic
bethe free energy
neural network