Keyword:algorithmic correspondence

Publications
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic