On Certain Completeness Results for S4.2 Modal Logic and Its Applications in Modal Logics of Classes of Structures

Abstract

In this paper, we obtain new classes of Kripke frames complete for the modal logic S4.2, through the means of the so-called control statements. We provide applications of the theorem in the field of modal logics of classes of structures.