D. Skvortsov

Quantification in Non-classical Logics

Dov M. Gabbay, Valentin B. Shehtman, D. Skvortsov, 2009 .

On axiomatization of many-valued logics associated with formalization of plausible reasonings

V. K. Finn, O. M. Anshakov, D. P. Skvortsov, 1989, Stud Logica.

On the predicate logics of finite Kripke frames

Dmitrij P. Skvortsov, D. Skvortsov, 1995, Stud Logica.

Quantification in Nonclassical Logic

Dov M. Gabbay, Valentin B. Shehtman, Dmitrij P. Skvortsov, 2009 .

Semantics of Non-Classical First Order Predicate Logics

Valentin B. Shehtman, Dmitrij P. Skvortsov, V. Shehtman, 1990 .

Non-Axiomatizable Second Order Intuitionistic Propositional Logic

Dmitrij P. Skvortsov, D. Skvortsov, 1997, Ann. Pure Appl. Log..