Return to Article Details On Certain Completeness Results for S4.2 Modal Logic and Its Applications in Modal Logics of Classes of Structures Download Download PDF