PP-2016-39: Gaëlle Fontaine, Yde Venema Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties 1.Full Text, 2.Abstract. < Back
