The following publications are possibly variants of this publication:
- 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.
- 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]
- A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested DomainsDmitrij P. Skvortsov. logcom, 21(4):697-713, 2011. [doi]
- On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform TreesDmitrij P. Skvortsov. sLogica, 77(3):295-323, 2004. [doi]
- Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate LogicsDmitrij P. Skvortsov, Valentin B. Shehtman. APAL, 63(1):69-101, 1993.
- Not Every Tabular Predicate Logic is Finitely AxiomatizableDmitrij P. Skvortsov. sLogica, 59(3):387-396, 1997.
- On the Predicate Logic of Linear Kripke Frames and some of its ExtensionsDmitrij P. Skvortsov. sLogica, 81(2):261-282, 2005. [doi]