Existential Fixed-Point Logic, Universal Quantifiers, and Topoi.

Published in: Fields of Logic and Computation (2010)

Keyphrases

fixed point
linear logic
dynamical systems
sufficient conditions
fixed point theorem
modal logic
logic programming
belief propagation
bargaining solution
default logic
floating point
variational inequalities
constraint databases
pairwise
image segmentation
computer vision
learning algorithm