The University of Southampton
University of Southampton Institutional Repository

A compositional approach to defining logics for coalgebras

Cirstea, Corina, Gumm, H.P.(ed.) (2004) A compositional approach to defining logics for coalgebras Theoretical Computer Science, 327, (1), pp. 45-69.

Record type: Article

Abstract

We present a compositional approach to defining expressive logics for coalgebras of endofunctors on Set. This approach uses a notion of language constructor and an associated notion of semantics to capture one inductive step in the definition of a language for coalgebras and of its semantics. We show that suitable choices for the language constructors and for their associated semantics yield logics which are both adequate and expressive w.r.t. behavioural equivalence. Moreover, we show that type-building operations give rise to corresponding operations both on language constructors and on their associated semantics, thus allowing the derivation of expressive logics for increasingly complex coalgebraic types. Our framework subsumes several existing approaches to defining logics for coalgebras, and at the same time allows the derivation of new logics, with logics for probabilistic systems being the prime example.

PDF tcs.pdf - Other
Download (298kB)

More information

Published date: 2004
Keywords: coalgebra, modal logic, behavioural equivalence, Hennessy-Milner property
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 260002
URI: http://eprints.soton.ac.uk/id/eprint/260002
ISSN: 0304-3975
PURE UUID: d010043d-3a56-497e-b462-561da963e647

Catalogue record

Date deposited: 05 Oct 2004
Last modified: 18 Jul 2017 09:17

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.

×