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
2008
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.)
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.
Text
ModalCoalg.pdf
- Version of Record
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: 10 Sep 2024 01:40
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
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