Fixed Point Logics and Definable Topological Properties.
David Fernández-DuqueQuentin GougeonPublished in: WoLLIC (2022)
Keyphrases
- fixed point
- topological properties
- expressive power
- default logic
- modal logic
- structural properties
- sufficient conditions
- transitive closure
- first order logic
- dynamical systems
- floating point
- fixed point theorem
- belief propagation
- free energy
- computer vision
- image processing
- constraint databases
- bargaining solution
- answer sets
- dynamic programming