Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert
(Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...