Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro Intuitionistic modal logic with a Galois connection has the finite model property. (English) Zbl 1283.03040 Log. J. IGPL 21, No. 2, 199-204 (2013). Intuitionistic propositional logic with a Galois connection IntGC was earlier introduced and studied by the authors [Log. J. IGPL 18, No. 6, 837–858 (2010; Zbl 1221.03012)]. In particular, it was proved that IntGC has the finite model property. Unfortunately, the proof was incomplete and had some faults. In this article, a new proof is given. Reviewer: Valery Plisko (Moskva) Cited in 1 Document MSC: 03B45 Modal logic (including the logic of norms) 03B20 Subsystems of classical logic (including intuitionistic logic) 03G25 Other algebras related to logic Keywords:intuitionistic logic; modal logic; Galois connection; finite model property Citations:Zbl 1221.03012 PDFBibTeX XMLCite \textit{W. Dzik} et al., Log. J. IGPL 21, No. 2, 199--204 (2013; Zbl 1283.03040) Full Text: DOI arXiv