Dmitrij P. Skvortsov. The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. Journal of Symbolic Logic, 70(2):451-459, 2005. [doi]
@article{Skvortsov05-0,
title = {The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable},
author = {Dmitrij P. Skvortsov},
year = {2005},
url = {http://projecteuclid.org/euclid.jsl/1120224722},
researchr = {https://researchr.org/publication/Skvortsov05-0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {70},
number = {2},
pages = {451-459},
}