| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Lutz Schröder, Dirk Pattinson |
| Herausgeber: |
Luke Ong |
| Titel: |
Coalgebraic correspondence theory |
| Buch / Sammlungs-Titel: |
Foundations of Software Science and Computation Structures (FoSSaCS 2010) |
| Band: |
6014 |
| Seite(n): |
328 – 342 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2010 |
| Verleger: |
Springer |
| Abstract / Kurzbeschreibung: |
We lay the foundations of a first-order correspondence theory for
coalgebraic logics that makes the transition structure explicit in the
first-order modelling. In particular, we prove a coalgebraic version
of the van Benthem/Rosen theorem stating that both over arbitrary
structures and over finite structures, coalgebraic modal logic is
precisely the bisimulation invariant fragment of first-order logic.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/correspondence.pdf |
| Schlagworte: |
coalgebra modal logic correspondence theory rosen van benthem theorem first order logic |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
21. 04. 2010 |
