2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/111122This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these transition systems in an elegant way.21 pagesLogic in Computer ScienceF.4.1text