MoL-2011-15: Johannes Marti Relation Liftings in Coalgebraic Modal Logic 1.Full Text, 2.Abstract. < Back