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

DOI10.1093/jigpal/jzs016zbMath1283.03040arXiv1102.0268OpenAlexW3101179190MaRDI QIDQ4925167

Jouni Järvinen, Michiro Kondo, Wojciech Dzik

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1102.0268

zbMATH Keywords

modal logicGalois connectionfinite model propertyintuitionistic logic

Mathematics Subject Classification ID

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

Related Items (1)

Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.

This page was built for publication: Intuitionistic modal logic with a galois connection has the finite model property1