A compositional approach to defining logics for coalgebras
A compositional approach to defining logics for coalgebras
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.
coalgebra, modal logic, behavioural equivalence, Hennessy-Milner property
45-69
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Gumm, H.P.
0f548c4d-2fd9-413d-b97b-e3fc1d2efb75
2004
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Gumm, H.P.
0f548c4d-2fd9-413d-b97b-e3fc1d2efb75
Cirstea, Corina
,
Gumm, H.P.
(ed.)
(2004)
A compositional approach to defining logics for coalgebras.
Theoretical Computer Science, 327 (1), .
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.
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: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Editor:
H.P. Gumm
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