Dmitriy P. Skvortsov
Author
Alternate names Dmitriy P. Skvortsov, D.P Skvortsov
Past institution All Russian Institute for Scientific and Technical Information
H-index: 2
I10-index: 1
Works count: 2
Citations count: 39
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
1993 · Dmitriy P. Skvortsov, Valentin Shehtman · Annals of Pure and Applied Logic
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
2002 · Alexey Chernov, Dmitriy P. Skvortsov, et al. · Lecture notes in computer science