Translating logics for coalgebras
In: Recent trends in algebraic development techniques (Fruenchiemsee, 24-27 September 2002, revised selected papers)Lecture notes in computer science; (2003) S. 393-408
Konferenz
- print, 21 ref
Zugriff:
This paper shows, that three different types of logics for coalgebras are institutions. The logics differ regarding the presentation of their syntax. In the first framework, abstract behavioural logic, one has a syntax-free representation of behavioural properties. We then turn to coalgebraic logic, the syntax of which is given as an initial algebra. The last framework, which we consider, is coalgebraic modal logic, the syntax of which is concretely given.
Titel: |
Translating logics for coalgebras
|
---|---|
Autor/in / Beteiligte Person: | PATTINSON, Dirk |
Link: | |
Quelle: | Recent trends in algebraic development techniques (Fruenchiemsee, 24-27 September 2002, revised selected papers)Lecture notes in computer science; (2003) S. 393-408 |
Veröffentlichung: | Berlin: Springer, 2003 |
Medientyp: | Konferenz |
Umfang: | print, 21 ref |
ISSN: | 0302-9743 (print) |
Schlagwort: |
|
Sonstiges: |
|