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 befindet sich ETAPS 2010 March 20-28 Paphos Cyprus Seiten 328-342 Lecture Notes in Computer Science 6014 Springer Berlin 3/2010.

Abstrakt

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

correspondence.pdf (pdf, 219 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence