Coalgebraic Correspondence Theory [chapter]

Lutz Schröder, Dirk Pattinson
2010 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-642-12032-9_23 fatcat:iiney5jh7fgizoggbafg6mxbra