Many-Valued Relation Lifting and Moss' Coalgebraic Logic. - Marta Bílková; Matej Dostál (CALCO, 2013)

Expressivity of Many-Valued Modal Logics, Coalgebraically. - Marta Bílková; Matej Dostál (WoLLIC, 2016)

Morita Equivalence for Many-Sorted Enriched Theories. - Matej Dostál; Jirí Velebil (Appl. Categorical Struct., 2016)

Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics. - Matej Dostál; Mehrnoosh Sadrzadeh; Gijs Wijnholds (CoRR, 2021)

Moss' logic for ordered coalgebras. - Marta Bílková; Matej Dostál (Log. Methods Comput. Sci., 2022)

A categorical view of varieties of ordered algebras. - Jirí Adámek; Matej Dostál; Jirí Velebil (Math. Struct. Comput. Sci., 2022)

Strongly Finitary Monads for Varieties of Quantitative Algebras. - Jirí Adámek; Matej Dostál; Jirí Velebil (CALCO, 2023)