Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting.

Published in: CoRR (2022)

Keyphrases

fixed point
linear logic
sufficient conditions
constraint databases
logic programming
variational inequalities
dynamical systems
modal logic
default logic
fixed point theorem
classical logic
post processing
belief propagation