1995
Modal model theory
Publication
Publication
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.
Additional Metadata | |
---|---|
, , , | |
, , | |
CWI | |
Department of Computer Science [CS] | |
de Rijke, M. (1995). Modal model theory. Department of Computer Science [CS]. CWI.
|