Fixed-Point Logics, Generalized Quantifiers, and Oracles.

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

Keyphrases

fixed point
expressive power
default logic
first order logic
sufficient conditions
dynamical systems
floating point
inference rules
belief propagation
modal logic
variational inequalities
constraint databases
bargaining solution
fixed point theorem
free energy