Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Algorithmic correspondence for intuitionistic modal mu-calculus. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (Theor. Comput. Sci., 2015)