%0 Journal Article %A Jacobs, Bart %T Many-sorted coalgebraic modal logic : a model-theoretic study %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2001 %P 31-59 %V 35 %N 1 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_2001__35_1_31_0/ %G en %F ITA_2001__35_1_31_0