Editorial: Algebraic and Coalgebraic Logic Corner

摘要

Coalgebras are rapidly gaining ground as fundamental structures for modelling the concept of state-based dynamics, where typically, a state of affairs can be observed and modified. Of clear and even defining importance in the study of such evolving systems is the concept of behaviour and related notions such as invariance and observational (in)distinguishability. The emergence of Universal Coalgebra as a general theory of state-based systems explains the increasing interest in the development and study of languages and deductive systems for specifying and reasoning about behaviour at a coalgebraic level of generality. Many of these coalgebraic logics share or generalize interesting features of modal logics, and as a consequence, Coalgebraic Logic is not only the natural meeting ground of Logic and Coalgebra, but also an exciting new application area of modal logic.