The following publications are possibly variants of this publication:
- On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform TreesDmitrij P. Skvortsov. sLogica, 77(3):295-323, 2004. [doi]
- On the Predicate Logic of Linear Kripke Frames and some of its ExtensionsDmitrij P. Skvortsov. sLogica, 81(2):261-282, 2005. [doi]
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizableDmitrij P. Skvortsov. JSYML, 70(2):451-459, 2005. [doi]
- Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly CompleteDmitrij P. Skvortsov. aiml 2018: 577-590 [doi]
- On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke FramesDmitrij P. Skvortsov. logcom, 16(5):685-695, 2006. [doi]
- A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested DomainsDmitrij P. Skvortsov. logcom, 21(4):697-713, 2011. [doi]