A Higher Order Modal Fixed Point Logic.
Mahesh ViswanathanRamesh ViswanathanPublished in: CONCUR (2004)
Keyphrases
- fixed point
- higher order
- modal logic
- nonmonotonic logics
- default logic
- linear logic
- lambda calculus
- belief propagation
- floating point
- markov random field
- sufficient conditions
- modal operators
- constraint databases
- pairwise
- dynamical systems
- high order
- logic programming
- variational inequalities
- policy iteration
- temporal logic
- computer vision