"London" . "Expressiveness of positive coalgebraic logic" . "P(GAP202/11/1632)" . "Copenhagen" . "Kapulkin, K." . "3"^^ . "1"^^ . . "coalgebraic logic"@en . "Advances in Modal Logic 2012" . . . "RIV/68407700:21230/12:00199004" . . "978-1-84890-068-4" . "King's College" . . "RIV/68407700:21230/12:00199004!RIV13-GA0-21230___" . "From the point of view of modal logic, coalgebraic logic >> over posets is the natural coalgebraic generalisation of positive >> modal logic. From the point of view of coalgebra, >> posets arise if one is interested in simulations as opposed to >> bisimulations. From a categorical point of view, one moves from >> ordinary categories to enriched categories. >> We show that the basic setup of coalgebraic logic extends >> to this more general setting and that every finitary functor >> on posets has a logic that is expressive, that is, has >> the Hennessy-Milner property."@en . "Kurz, A." . . "Expressiveness of positive coalgebraic logic"@en . "21230" . . "2012-08-22+02:00"^^ . . "Expressiveness of positive coalgebraic logic" . . . "135890" . "[A672AD84ED5D]" . . . "Velebil, Ji\u0159\u00ED" . "Expressiveness of positive coalgebraic logic"@en . . . . "18"^^ . "From the point of view of modal logic, coalgebraic logic >> over posets is the natural coalgebraic generalisation of positive >> modal logic. From the point of view of coalgebra, >> posets arise if one is interested in simulations as opposed to >> bisimulations. From a categorical point of view, one moves from >> ordinary categories to enriched categories. >> We show that the basic setup of coalgebraic logic extends >> to this more general setting and that every finitary functor >> on posets has a logic that is expressive, that is, has >> the Hennessy-Milner property." .