Constructive canonicity for lattice-based fixed point logics

Willem Conradie, Andrew Craig, Alessandra Palmigiano +1

We prove the algorithmic canonicity of two classes of $\mu$-inequalities in a constructive meta-theory of normal lattice expansions. This result simultaneously generalizes Conradie a…