Characters and Fixed Points in Provability Logic.

Zachari Gleit Warren D. Goldfarb

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

fixed point
linear logic
sufficient conditions
dynamical systems
belief propagation
approximate value iteration
temporal difference learning
logic programming
initial conditions
asymptotic properties
neural network
modal logic
stationary points