%0 Journal Article %1 journals/igpl/DzikJK13 %A Dzik, Wojciech %A Järvinen, Jouni %A Kondo, Michiro %D 2013 %J Logic Journal of the IGPL %K dblp %N 2 %P 199-204 %T Intuitionistic modal logic with a galois connection has the finite model property1. %U http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#DzikJK13 %V 21

@article{journals/igpl/DzikJK13, added-at = {2013-04-18T00:00:00.000+0200}, author = {Dzik, Wojciech and Järvinen, Jouni and Kondo, Michiro}, biburl = {https://www.bibsonomy.org/bibtex/2b396b10269bbf265da34c0f0d5e94da5/dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzs016}, interhash = {a642dc72713051d1bccf4283406bb3bb}, intrahash = {b396b10269bbf265da34c0f0d5e94da5}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 2, pages = {199-204}, timestamp = {2013-08-13T13:13:12.000+0200}, title = {Intuitionistic modal logic with a galois connection has the finite model property1.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl21.html#DzikJK13}, volume = 21, year = 2013 }