Institutionalising many-sorted coalgebraic modal logic
Institutionalising many-sorted coalgebraic modal logic
Jacobs [4] describes a modal logic for coalgebras of certain polynomial endofunctors on Set. This logic is here generalised to endofunctors on categories of sorted sets. The structure of the endofunctors considered is then exploited in order to define ways of moving from (coalgebras of) one endofunctor to (coalgebras of) another, and to equip them with translations between the associated modal languages. Furthermore, the resulting translations are shown to preserve and reflect the satisfaction of modal formulae by coalgebras.
coalgebras, modal logic, institutions
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Moss, L.S.
44769350-1a28-4daf-8bb2-aaf62b21b750
2002
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Moss, L.S.
44769350-1a28-4daf-8bb2-aaf62b21b750
Cirstea, Corina
(2002)
Institutionalising many-sorted coalgebraic modal logic.
Moss, L.S.
(ed.)
5th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France.
06 - 07 Apr 2003.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Jacobs [4] describes a modal logic for coalgebras of certain polynomial endofunctors on Set. This logic is here generalised to endofunctors on categories of sorted sets. The structure of the endofunctors considered is then exploited in order to define ways of moving from (coalgebras of) one endofunctor to (coalgebras of) another, and to equip them with translations between the associated modal languages. Furthermore, the resulting translations are shown to preserve and reflect the satisfaction of modal formulae by coalgebras.
More information
Published date: 2002
Additional Information:
Event Dates: 6-7 April 2003
Venue - Dates:
5th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France, 2003-04-06 - 2003-04-07
Keywords:
coalgebras, modal logic, institutions
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 259146
URI: http://eprints.soton.ac.uk/id/eprint/259146
PURE UUID: f469b48b-8144-49ec-8728-a87874f4fc7d
Catalogue record
Date deposited: 13 Mar 2004
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Editor:
L.S. Moss
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