Blog
About

113
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Modal Logics are Coalgebraic

      , , , ,

      Visions of Computer Science - BCS International Academic Conference (VOCS)

      BCS International Academic Conference

      22 - 24 September 2008

      Modal logic, Coalgebraic semantics, Knowledge representation, Mobility and concurrency

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Author and article information

          Contributors
          Conference
          September 2008
          September 2008
          : 129-140
          Affiliations
          School of Electronics and Computer Science

          University of Southampton
          Department of Computer Science

          University of Leicester
          Depart. of Computing

          Imperial College London
          DFKI-Lab Bremen and

          University of Bremen
          Institute for Logic, Language and Computation

          Universiteit van Amsterdam
          Article
          10.14236/ewic/VOCS2008.12
          © Corina Cîrstea et al. Published by BCS Learning and Development Ltd. Visions of Computer Science - BCS International Academic Conference

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Visions of Computer Science - BCS International Academic Conference
          VOCS
          Imperial College, London, UK
          22 - 24 September 2008
          Electronic Workshops in Computing (eWiC)
          BCS International Academic Conference
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article