Bisimulation Safe Fixed Point Logic.

Faried Abu Zaid Erich Grädel Stephan Jaax

Published in: Advances in Modal Logic (2014)

Keyphrases

fixed point
linear logic
floating point
sufficient conditions
dynamical systems
constraint databases
logic programming
fixed point theorem
high quality
search algorithm
belief propagation
default logic