2,512
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Modal Logics are Coalgebraic

      proceedings-article
      , , , ,
      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
      Bookmark

            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.

            Content

            Author and article information

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

            University of Southampton
            [0002]Department of Computer Science

            University of Leicester
            [0003]Depart. of Computing

            Imperial College London
            [0004]DFKI-Lab Bremen and

            University of Bremen
            [0005]Institute for Logic, Language and Computation

            Universiteit van Amsterdam
            Article
            10.14236/ewic/VOCS2008.12
            c206d163-e1e3-49c7-87f0-5ce77682bdab
            © 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
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VOCS2008.12
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Modal logic,Coalgebraic semantics,Knowledge representation,Mobility and concurrency

            Comments

            Comment on this article