The following publications are possibly variants of this publication:
- 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]
- The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizableDmitrij P. Skvortsov. JSYML, 70(2):451-459, 2005. [doi]
- Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains PrincipleDmitrij P. Skvortsov. sLogica, 100(1-2):361-383, 2012. [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]
- On the predicate logic of finite Kripke framesDmitrij P. Skvortsov. sLogica, 54(1):79-88, 1995.
- Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate LogicsDmitrij P. Skvortsov, Valentin B. Shehtman. APAL, 63(1):69-101, 1993.
- A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) EqualityDmitrij P. Skvortsov. aiml 2012: 483-493 [doi]
- A Remark on Propositional Kripke Frames Sound for Intuitionistic LogicDmitrij P. Skvortsov. aiml 2010: 392-410 [doi]
- On the Predicate Logic of Linear Kripke Frames and some of its ExtensionsDmitrij P. Skvortsov. sLogica, 81(2):261-282, 2005. [doi]