Explicit Fixed Points in Interpretability Logic.

Dick de Jongh Albert Visser

Published in: Stud Logica (1991)

Keyphrases

fixed point
linear logic
dynamical systems
sufficient conditions
temporal difference learning
logic programming
modal logic
approximate value iteration
free energy
image processing
default logic
initial conditions
logical framework
stationary points
asymptotic properties