Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.
Hiroshi NakanoPublished in: TACS (2001)
Keyphrases
- fixed point
- modal logic
- approximate value iteration
- free energy
- sufficient conditions
- stationary points
- inference rules
- temporal logic
- dynamical systems
- fixed point theorem
- logic programming
- floating point
- model checking
- belief propagation
- variational inequalities
- constraint databases
- image processing
- kripke models
- default logic
- search space
- logic programs