Guarded Quantification in Least Fixed Point Logic.

Gregory L. McColm

Published in: J. Log. Lang. Inf. (2004)

Keyphrases

fixed point
linear logic
dynamical systems
sufficient conditions

floating point
belief propagation
modal logic
logic programming

constraint databases
fixed point theorem
image sequences

least squares
default logic
policy iteration