PP-2011-21: Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson Sahlqvist Correspondence for Modal Mu-Calculus 1.Full Text, 2.Abstract. < Back