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 the coalgebraic nature of modal logic 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, coalgebra, knowledge representation, concurrency, compositionality, automata theory
31-41
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
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
January 2011
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
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde
,
Sassone, Vladimiro
(ed.)
(2011)
Modal logics are coalgebraic.
The Computer Journal, 54 (1), .
(doi:10.1093/comjnl/bxp004).
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 the coalgebraic nature of modal logic 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
ModalCoalgRev.pdf
- Author's Original
More information
e-pub ahead of print date: 21 February 2009
Published date: January 2011
Keywords:
modal logic, coalgebra, knowledge representation, concurrency, compositionality, automata theory
Organisations:
Web & Internet Science, Electronic & Software Systems
Identifiers
Local EPrints ID: 267144
URI: http://eprints.soton.ac.uk/id/eprint/267144
PURE UUID: 173b0c9d-e4ee-493f-bb17-077433607489
Catalogue record
Date deposited: 27 Feb 2009 16:17
Last modified: 15 Mar 2024 03:18
Export record
Altmetrics
Contributors
Author:
Corina Cirstea
Author:
Alexander Kurz
Author:
Dirk Pattinson
Author:
Lutz Schröder
Author:
Yde Venema
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