Specifying coalgebras with modal logic (Q5941162): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 23:43, 4 March 2024

scientific article; zbMATH DE number 1635327
Language Label Description Also known as
English
Specifying coalgebras with modal logic
scientific article; zbMATH DE number 1635327

    Statements

    Specifying coalgebras with modal logic (English)
    0 references
    0 references
    20 August 2001
    0 references
    We propose to use modal logic as a logic for coalgebras and discuss it in view of the work done on coalgebras as a semantics of object-oriented programming. Two approaches are taken: First, standard concepts of modal logic are applied to coalgebras. For a certain kind of functor it is shown that the logic exactly captures the notion of bisimulation and a complete calculus is given. Examples of verifications of object properties are given. Second, we discuss the relationship of this approach with the coalgebraic logic of \textit{L. S. Moss} [Coalgebraic logic, Ann Pure Appl. Logic 96, 277-317 (1999; Zbl 0969.03026)].
    0 references
    coalgebras
    0 references
    modal logic
    0 references
    object-oriented programming
    0 references
    verification
    0 references
    specification
    0 references

    Identifiers