Inclusion Logic and Fixed Point Logic

Pietro Galliani Lauri Hella

Published in: CoRR (2013)

Keyphrases

fixed point
linear logic
logic programming
modal logic
floating point
logic programs
sufficient conditions
belief propagation
image retrieval
dynamical systems
desirable properties