On expressivity and compositionality in logics for coalgebras
On expressivity and compositionality in logics for coalgebras
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.
coalgebras, modal logic
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Gumm, H.P.
0f548c4d-2fd9-413d-b97b-e3fc1d2efb75
2003
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Gumm, H.P.
0f548c4d-2fd9-413d-b97b-e3fc1d2efb75
Cirstea, Corina
(2003)
On expressivity and compositionality in logics for coalgebras.
Gumm, H.P.
(ed.)
6th International Workshop on Coalgebraic Methods in Computer Science, Warsaw, Poland.
05 - 06 Apr 2003.
Record type:
Conference or Workshop Item
(Paper)
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.
More information
Published date: 2003
Additional Information:
Event Dates: 5-6 April 2003
Venue - Dates:
6th International Workshop on Coalgebraic Methods in Computer Science, Warsaw, 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: 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