Specifying Coalgebras with Modal Logic

Document Type

Article

Publication Date

2001

Abstract

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 Moss (Coalgebraic logic, Ann Pure Appl. Logic 96 (1999) 277–317.).

Comments

This article was originally published in Theoretical Computer Science, volume 260, number 1-2, in 2001. DOI: 10.1016/S0304-3975(00)00125-0

Copyright

Elsevier

Share

COinS