Skip to main content Skip to main navigation

Publikation

Coalgebraic correspondence theory

Lutz Schröder; Dirk Pattinson
In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010.

Zusammenfassung

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.

Projekte

Weitere Links