Logics of some kripke frames connected with Medvedev notion of informational types. - Valentin B. Shehtman; Dmitrij P. Skvortsov (Stud Logica, 1986)

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. - Dmitrij P. Skvortsov; Valentin B. Shehtman (Ann. Pure Appl. Log., 1993)

On the predicate logic of finite Kripke frames. - Dmitrij P. Skvortsov (Stud Logica, 1995)

Non-Axiomatizable Second Order Intuitionistic Propositional Logic. - Dmitrij P. Skvortsov (Ann. Pure Appl. Log., 1997)

Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. - Dmitrij P. Skvortsov (Stud Logica, 1997)

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. - Dmitrij P. Skvortsov (Stud Logica, 1998)

Remark on a finite axiomatization of finite intermediate propositional logics. - Dmitrij P. Skvortsov (J. Appl. Non Class. Logics, 1999)

On the Existence of Continua of Logics Between Some Intermediate Predicate Logics. - Dmitrij P. Skvortsov (Stud Logica, 2000)

An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. - Dmitrij P. Skvortsov (Advances in Modal Logic, 2002)

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. - Alexey V. Chernov; Dmitrij P. Skvortsov; Elena Z. Skvortsova; Nikolai K. Vereshchagin (CSL, 2002)

On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. - Dmitrij P. Skvortsov (Stud Logica, 2004)

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. - Dmitrij P. Skvortsov (J. Symb. Log., 2005)

On the Predicate Logic of Linear Kripke Frames and some of its Extensions. - Dmitrij P. Skvortsov (Stud Logica, 2005)

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames. - Dmitrij P. Skvortsov (J. Log. Comput., 2006)

A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. - Dmitrij P. Skvortsov (Advances in Modal Logic, 2010)

A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains. - Dmitrij P. Skvortsov (J. Log. Comput., 2011)

A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. - Dmitrij P. Skvortsov (Advances in Modal Logic, 2012)

Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle. - Dmitrij P. Skvortsov (Stud Logica, 2012)

Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. - Dmitrij P. Skvortsov (Advances in Modal Logic, 2018)

On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. - Mikhail N. Rybakov; Dmitry Shkatov; Dmitrij P. Skvortsov (AiML, 2024)