Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic

Zhiguang Zhao. Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic. Studia Logica, 111(6):1057-1082, December 2023. [doi]

Abstract

Abstract is missing.