Systematic Lifting of Classical Coalgebraic Logics to Many-Valued Logics over Semi-Primal Varieties

This paper presents a systematic way to lift classical coalgebraic logics defined over Boolean algebras to many-valued coalgebraic logics defined over varieties generated by semi-primal algebras, while preserving key properties such as one-step completeness and expressivity.