| Publication type: |
Article in Proceedings |
| Author: |
Lutz Schröder, Dirk Pattinson |
| Editor: |
Luke Ong |
| Title: |
Coalgebraic correspondence theory |
| Book / Collection title: |
Foundations of Software Science and Computation Structures (FoSSaCS 2010) |
| Volume: |
6014 |
| Page(s): |
328 – 342 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2010 |
| Publisher: |
Springer |
| Abstract: |
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 |
| Keywords: |
coalgebra modal logic correspondence theory rosen van benthem theorem first order logic |
| Status: |
Reviewed |
| Last updated: |
21. 04. 2010 |
