Intuitionistic modal logic with a Galois connection has the finite model property

: Dzik W, Jarvinen J, Kondo M

Publisher: OXFORD UNIV PRESS

: 2013

: Logic Journal of the IGPL

: LOGIC JOURNAL OF THE IGPL

: LOG J IGPL

: 21

: 2

: 199

: 204

: 6

: 1367-0751

We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.