Specifying coalgebras with modal logic |
| |
Authors: | Alexander Kurz |
| |
Affiliation: | Centre for Mathematics and Computer Science (CWI), P.O. Box 94079, 1090 GB Amstelveen, The Netherlands |
| |
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.). |
| |
Keywords: | Coalgebras Modal logic Object-oriented programming Verification Specification |
本文献已被 ScienceDirect 等数据库收录! |
|