×

Intuitionistic modal logic with a Galois connection has the finite model property. (English) Zbl 1283.03040

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.

MSC:

03B45 Modal logic (including the logic of norms)
03B20 Subsystems of classical logic (including intuitionistic logic)
03G25 Other algebras related to logic

Citations:

Zbl 1221.03012
PDFBibTeX XMLCite
Full Text: DOI arXiv