A1 Refereed original research article in a scientific journal

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



Authors: Dzik W, Jarvinen J, Kondo M

Publisher: OXFORD UNIV PRESS

Publication year: 2013

Journal: Logic Journal of the IGPL

Journal name in source: LOGIC JOURNAL OF THE IGPL

Journal acronym: LOG J IGPL

Volume: 21

Issue: 2

First page : 199

Last page: 204

Number of pages: 6

ISSN: 1367-0751

DOI: https://doi.org/10.1093/jigpal/jzs016


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



Last updated on 2024-26-11 at 19:12