No label defined (Q4532129)

A class \(K\) of models is called globally definable iff it is the model class of a set \(\Phi\) of modal formulas with respect to validity in models. In this way the usual notion of (local) definability is `globalized', which is defined with respect to pointed models. The authors present, in particular, global versions of the Goldblatt-Thomason Theorem and van Benthem's Bisimulation Theorem, respectively. I.e., both a characterization theorem for globally definable classes and a determination of the first-order formulas globally equivalent to some modal formula is provided [see, e.g., \textit{P. Blackburn, M. de Rijke} and \textit{Y. Venema}: Modal logic, Cambridge: Cambridge Univ. Press (2001; Zbl 0988.03006)]. Moreover, corresponding characterization results and some corollaries on preservation of modal formulas are presented for model classes globally definable by universal and positive formulas, respectively. For the entire collection see [Zbl 0982.00038].