Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study Bart Jacobs RAIRO-Theor. Inf. Appl., 35 1 (2001) 31-59 Published online: 15 April 2002 DOI: 10.1051/ita:2001108