Logic Column 15: Coalgebras and Their Logics

Abstract

This 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 pages

Cited by in corpus (1)

• The Description of Information in 4-Dimensional Pseudo-Euclidean Information Space