7BEE9B40-A773-47BA-AB95-93AA9DCC50BBCoalgebraic Logic: Expanding the ScopeResearch GrantEP/G041296/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL36116429724921-A279-4672-85B2-3EC7C698C015Relation lifting, with an application to the many-valued cover modalityLogical Methods in Computer Science4e30cf267c79ac5a30b8b58ae682000bBilkova M2013-01-01http://dx.doi.org/10.2168/lmcs-9(4:8)2013http://dx.doi.org/10.2168/lmcs-9(4:8)2013Journal Article/Review546da37245dd38.19760974