Logic Column 15: Coalgebras and Their Logics

Simple item page
dc.creatorKurz, Alexander
dc.date2006-05-28
dc.date.accessioned2026-07-07T07:09:35Z
dc.date.available2026-07-07T07:09:35Z
dc.descriptionThis 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.
dc.description21 pages
dc.identifierhttps://arxiv.org/abs/cs/0605128
dc.identifierhttp://arxiv.org/abs/cs/0605128
dc.identifierSIGACT News 37 (2), pp. 57-77, 2006
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/111122
dc.subjectLogic in Computer Science
dc.subjectF.4.1
dc.titleLogic Column 15: Coalgebras and Their Logics
dc.typetext

Files

Collections

arXiv