On Expressivity and Compositionality in Logics for Coalgebras |
| |
Authors: | Corina Cî rstea, |
| |
Affiliation: | aComputing Laboratory, University of Oxford, Oxford, UK |
| |
Abstract: | This paper attempts to unify some of the existing approaches to defining modal logics for coalgebras, from the point of view of constructing the languages employed by these logics. An abstract framework for defining languages for coalgebras from so-called language constructors, corresponding to one-step unfoldings of the coalgebraic structure, is introduced, and a method for deriving expressive languages for coalgebras from suitable choices for the language constructors is described. Moreover, it is shown that the derivation of such languages by means of language constructors is well-behaved w.r.t. various forms of composition between coalgebraic types. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|