Constructive Canonicity for Lattice-Based Fixed Point Logics.

Willem Conradie Andrew Craig Alessandra Palmigiano Zhiguang Zhao

Published in: WoLLIC (2017)

Keyphrases

fixed point
default logic
expressive power
modal logic
sufficient conditions
floating point
dynamical systems
concept lattice
variational inequalities
belief propagation
fixed point theorem
knowledge base
constraint databases
bargaining solution
preprocessing
graph cuts