Inclusion Logic and Fixed Point Logic.

Pietro Galliani Lauri Hella

Published in: CSL (2013)

Keyphrases

fixed point
linear logic
modal logic
logic programming
dynamical systems
sufficient conditions
post processing
floating point
variational inequalities