The University of Southampton
University of Southampton Institutional Repository

Modal Logics are Coalgebraic

Modal Logics are Coalgebraic
Modal Logics are Coalgebraic
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can moreover be combined in a modular way. In particular, this facilitates a pick-and-choose approach to domain specific formalisms, applicable across the entire scope of application areas, leading to generic software tools that are easier to design, to implement, and to maintain. This paper substantiates the authors' firm belief that the systematic exploitation of this coalgebraic nature will not only have impact on the field of modal logic itself but also lead to significant progress in a number of areas within computer science, such as knowledge representation and concurrency/mobility.
Modal Logic, Coalgebraic Semantics, Knowledge Representation, Mobility and Concurrency
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Kurz, Alexander
685abe8c-fd80-4a3a-8c12-356d85738fc6
Pattinson, Dirk
b6607852-21d6-492c-a334-475ad5a7e7b4
Schröder, Lutz
5dacd426-1205-4e7c-9611-a25ece8d32c9
Venema, Yde
36b7b14e-8c93-4949-a10c-d4cbc67902d3
Abramsky, Samson
b97ab561-2ae2-4c75-ac32-331f48929f8b
Gelenbe, Erol
a919a2d3-6520-41f4-a7ab-74a6c3fb039a
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Kurz, Alexander
685abe8c-fd80-4a3a-8c12-356d85738fc6
Pattinson, Dirk
b6607852-21d6-492c-a334-475ad5a7e7b4
Schröder, Lutz
5dacd426-1205-4e7c-9611-a25ece8d32c9
Venema, Yde
36b7b14e-8c93-4949-a10c-d4cbc67902d3
Abramsky, Samson
b97ab561-2ae2-4c75-ac32-331f48929f8b
Gelenbe, Erol
a919a2d3-6520-41f4-a7ab-74a6c3fb039a
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, (2008) Modal Logics are Coalgebraic Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (eds.) At Visions of Computer Science 2008.

Record type: Conference or Workshop Item (Paper)

Abstract

Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can moreover be combined in a modular way. In particular, this facilitates a pick-and-choose approach to domain specific formalisms, applicable across the entire scope of application areas, leading to generic software tools that are easier to design, to implement, and to maintain. This paper substantiates the authors' firm belief that the systematic exploitation of this coalgebraic nature will not only have impact on the field of modal logic itself but also lead to significant progress in a number of areas within computer science, such as knowledge representation and concurrency/mobility.

PDF ModalCoalg.pdf - Version of Record
Download (160kB)

More information

Published date: 2008
Venue - Dates: Visions of Computer Science 2008, 2008-01-01
Keywords: Modal Logic, Coalgebraic Semantics, Knowledge Representation, Mobility and Concurrency
Organisations: Web & Internet Science, Electronic & Software Systems

Identifiers

Local EPrints ID: 266889
URI: http://eprints.soton.ac.uk/id/eprint/266889
PURE UUID: 93d3bb48-bf22-4d58-b3d2-00de9ebab5d0

Catalogue record

Date deposited: 07 Nov 2008 22:50
Last modified: 18 Jul 2017 07:11

Export record

Contributors

Author: Corina Cirstea
Author: Alexander Kurz
Author: Dirk Pattinson
Author: Lutz Schröder
Author: Yde Venema
Editor: Samson Abramsky
Editor: Erol Gelenbe
Editor: Vladimiro Sassone

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.

×