Dmitrij P. Skvortsov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2002–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. | Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov |
| 2018 | AiML | 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 |
| 2012 | AiML | A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. | Dmitrij P. Skvortsov |
| 2010 | AiML | A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. | Dmitrij P. Skvortsov |
| 2002 | AiML | An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. | Dmitrij P. Skvortsov |
| 2002 | CSL | 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 |