MoL-2012-19: Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus 1.Full Text, 2.Abstract. < Back
