Coalgebraic Correspondence Theory

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.

• Type: Conference
• Year: 2010
• Where: FOSSACS
• Authors: Lutz Schröder, Dirk Pattinson
• Keywords: Applied Computing, Bisimulation Invariant Fragment, Coalgebraic Modal Logic, FOSSACS 2010, Transition Structure Explicit