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]
No references recorded for this publication.
No citations of this publication recorded.