Fixed Point Logics on Hemimetric Spaces.

David Fernández-Duque Quentin Gougeon

Published in: LICS (2023)

Keyphrases

fixed point
default logic
expressive power
sufficient conditions
dynamical systems
modal logic
floating point
belief propagation
fixed point theorem
variational inequalities
state space
desirable properties
image sequences
transitive closure
image processing
constraint databases
computer vision