Fixed point logics and definable topological properties.
David Fernández-DuqueQuentin GougeonPublished in: Math. Struct. Comput. Sci. (2024)
Keyphrases
- fixed point
- topological properties
- default logic
- expressive power
- structural properties
- sufficient conditions
- first order logic
- modal logic
- belief propagation
- floating point
- dynamical systems
- transitive closure
- fixed point theorem
- answer sets
- policy iteration
- variational inequalities
- situation calculus
- least squares
- free energy
- constraint databases
- bargaining solution
- markov random field