On expressivity and compositionality in logics for coalgebras
Cirstea, Corina (2003) On expressivity and compositionality in logics for coalgebras. In, 6th International Workshop on Coalgebraic Methods in Computer Science, Warsaw, Poland, 05 - 06 Apr 2003. Elsevier.
This is the latest version of this item.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Event Dates: 5-6 April 2003|
|Keywords:||coalgebras, modal logic|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||13 Mar 2004|
|Last Modified:||27 Mar 2014 20:01|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
- On expressivity and compositionality in logics for coalgebras. (deposited 13 Mar 2004) [Currently Displayed]
Actions (login required)