Enhancing Fixed Point Logic with Cardinality Quantifiers.

Lauri Hella Henrik Imhof

Published in: J. Log. Comput. (1998)

Keyphrases

fixed point
linear logic
sufficient conditions
logic programming
dynamical systems
belief propagation
fixed point theorem
floating point
default logic
variational inequalities
pairwise
modal logic
free energy
constraint databases
bargaining solution
markov chain
policy iteration
first order logic