This 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.

, , ,
, ,
Department of Computer Science [CS]

de Rijke, M. (1995). Modal model theory. Department of Computer Science [CS]. CWI.