An expansion of Basic Logic with fixed points.

Published in: Soft Comput. (2017)

Keyphrases

fixed point
linear logic
sufficient conditions
approximate value iteration
dynamical systems
logic programming
initial conditions
belief propagation
modal logic
asymptotic properties
logical framework
temporal difference learning
post processing
inference rules
default logic
stationary points
image sequences