Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh. Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 52-56, EasyChair, 2013. [doi]
Abstract is missing.