The University of Southampton
University of Southampton Institutional Repository

On expressivity and compositionality in logics for coalgebras

Record type: Conference or Workshop Item (Paper)

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.

PDF cmcs.pdf - Other
Download (384kB)

Citation

Cirstea, Corina, (2003) On expressivity and compositionality in logics for coalgebras Gumm, H.P. (ed.) At 6th International Workshop on Coalgebraic Methods in Computer Science, Poland. 05 - 06 Apr 2003.

More information

Published date: 2003
Additional Information: Event Dates: 5-6 April 2003
Venue - Dates: 6th International Workshop on Coalgebraic Methods in Computer Science, Poland, 2003-04-05 - 2003-04-06
Keywords: coalgebras, modal logic
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 259145
URI: http://eprints.soton.ac.uk/id/eprint/259145
PURE UUID: 7219e3de-0c7b-4279-b736-6b18d470ec65

Catalogue record

Date deposited: 13 Mar 2004
Last modified: 18 Jul 2017 09:25

Export record

Contributors

Author: Corina Cirstea
Editor: H.P. Gumm

University divisions


Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×