Sahlqvist theorem for modal fixed point logic.

Nick Bezhanishvili Ian M. Hodkinson

Published in: Theor. Comput. Sci. (2012)

Keyphrases

fixed point
modal logic
fixed point theorem
nonmonotonic logics
linear logic
default logic
floating point
sufficient conditions
classical logic
modal operators
dynamical systems
belief propagation
variational inequalities
logic programming
differential equations
bargaining solution
boundary conditions
free energy