Many-sorted coalgebraic modal logic: a model-theoretic study (0)

by B Jacobs
Venue:Theoret. Informatics and Applications