On Modal Logics of Model-Theoretic Relations

摘要

Given a class C of models, a binary relation R between models, and a model-theoretic language L, we consider the modal logic and the modal algebra of the theory of C in L where the modal operator is interpreted via R. We discuss how modal theories of C and R depend on the model-theoretic language, their Kripke completeness, and expressibility of the modality inside L. We calculate such theories for the submodel and the quotient relations. We prove a downward Lowenheim-Skolem theorem for first-order language expanded with the modal operator for the extension relation between models.