Modal model theory
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.