Many-Sorted Coalgebraic Modal Logic: a Model-theoretic StudyBart JacobsRAIRO-Theor. Inf. Appl., 35 1 (2001) 31-59DOI: https://doi.org/10.1051/ita:2001108
