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.

Download

[img] PDF
Download (375Kb)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 5-6 April 2003
ISSNs: 1571-0661
Keywords: coalgebras, modal logic
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 259145
Date Deposited: 13 Mar 2004
Last Modified: 27 Mar 2014 20:01
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/259145

Available Versions of this Item

  • On expressivity and compositionality in logics for coalgebras. (deposited 13 Mar 2004) [Currently Displayed]

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics