Constructive Canonicity for Lattice-Based Fixed Point Logics.

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao

Browse the full WoLLIC paper archive.