Note on Some Fixed Point Constructions in Provability Logic.

Published in: J. Philos. Log. (2006)

Keyphrases

fixed point
linear logic
floating point
sufficient conditions
dynamical systems
modal logic
fixed point theorem
belief propagation
variational inequalities
three dimensional
logic programming
constraint databases
computer vision
preprocessing
bargaining solution