Specifying coalgebras with modal logic (Q5941162): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4400803 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Final coalgebras and the Hennessy-Milner property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222949 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mongruences and cofree coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4329244 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coalgebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An approach to object semantics based on terminal co-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From modal logic to terminal coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal coalgebra: A theory of systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model existence theorem in infinitary propositional modal logic / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:21, 3 June 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
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