Flat Coalgebraic Fixed Point Logics.

Lutz Schröder Yde Venema

Published in: CONCUR (2010)

Keyphrases

fixed point
default logic
expressive power
sufficient conditions
modal logic
floating point
variational inequalities
bargaining solution
fixed point theorem
dynamical systems
database
constraint databases
similarity measure
free energy