Intuitionistic modal logic with a galois connection has the finite model property1

W. Dzik, J. Jarvinen, M. Kondo
2012 Logic Journal of the IGPL  
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.
doi:10.1093/jigpal/jzs016 fatcat:u3ngalj3tnc7jbs2rcreplusje