Institutionalising many-sorted coalgebraic modal logic
Cirstea, Corina (2002) Institutionalising many-sorted coalgebraic modal logic. In, 5th International Workshop on Coalgebraic Methods in Computer Science, Grenoble, France, 06 - 07 Apr 2003. Elsevier.
This is the latest version of this item.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (373Kb) |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 6-7 April 2003 |
| ISSNs: | 1571-0661 |
| Keywords: | coalgebras, modal logic, institutions |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 259146 |
| Date Deposited: | 13 Mar 2004 |
| Last Modified: | 02 Mar 2012 13:40 |
| Contributors: | Cirstea, Corina (Author) Moss, L.S. (Editor) |
| Date: | 2002 |
| Additional Information: | Event Dates: 6-7 April 2003 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/259146 |
Available Versions of this Item
- Institutionalising many-sorted coalgebraic modal logic. (deposited 13 Mar 2004) [Currently Displayed]
Actions (login required)
 |
View Item |
