Sahlqvist preservation for topological fixed-point logic.
Nick BezhanishviliSumit SourabhPublished in: J. Log. Comput. (2017)
Keyphrases
- fixed point
- linear logic
- sufficient conditions
- closure operator
- logic programming
- dynamical systems
- belief propagation
- floating point
- fixed point theorem
- bargaining solution
- default logic
- policy iteration
- modal logic
- variational inequalities
- constraint databases
- knowledge base
- graphical models
- high quality
- three dimensional