Modal model theory

textabstractThis paper contributes to the model theory of modal logic using bisimulations as the fundamental tool. A uniform presentation is given of modal analogues of well-know definability and preservation results from first-order logic. These results include algebraic characterizations of modal equivalence, and of modally definable classes of models; the preservation results concern preservation of modal formulas under submodels, unions of chains and homomorphisms.