Intuitionistic modal logic with a Galois connection has the finite model property - UTU Tutkimustietojärjestelmä

A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

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

Tekijät: Dzik W, Jarvinen J, Kondo M

Kustantaja: OXFORD UNIV PRESS

Julkaisuvuosi: 2013

Journal: Logic Journal of the IGPL

Tietokannassa oleva lehden nimi: LOGIC JOURNAL OF THE IGPL

Lehden akronyymi: LOG J IGPL

Vuosikerta: 21

Numero: 2

Aloitussivu: 199

Lopetussivu: 204

Sivujen määrä: 6

ISSN: 1367-0751

Tiivistelmä

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