Dmitrij P. Skvortsov

20 papers B 6Journal 14
YearRankTypeTitle / Venue / Authors
2024 B conf
On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics.
AiML
Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov
2018 B conf
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.
Advances in Modal Logic
Dmitrij P. Skvortsov
2012 B conf
A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.
Advances in Modal Logic
Dmitrij P. Skvortsov
2012 J jnl
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.
Stud Logica
Dmitrij P. Skvortsov
2011 J jnl
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains.
J. Log. Comput.
Dmitrij P. Skvortsov
2010 B conf
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.
Advances in Modal Logic
Dmitrij P. Skvortsov
2006 J jnl
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.
J. Log. Comput.
Dmitrij P. Skvortsov
2005 J jnl
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
Stud Logica
Dmitrij P. Skvortsov
2005 J jnl
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.
J. Symb. Log.
Dmitrij P. Skvortsov
2004 J jnl
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.
Stud Logica
Dmitrij P. Skvortsov
2002 B conf
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.
Advances in Modal Logic
Dmitrij P. Skvortsov
2002 B conf
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.
CSL
Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin
2000 J jnl
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.
Stud Logica
Dmitrij P. Skvortsov
1999 J jnl
Remark on a finite axiomatization of finite intermediate propositional logics.
J. Appl. Non Class. Logics
Dmitrij P. Skvortsov
1998 J jnl
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.
Stud Logica
Dmitrij P. Skvortsov
1997 J jnl
Non-Axiomatizable Second Order Intuitionistic Propositional Logic.
Ann. Pure Appl. Log.
Dmitrij P. Skvortsov
1997 J jnl
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.
Stud Logica
Dmitrij P. Skvortsov
1995 J jnl
On the predicate logic of finite Kripke frames.
Stud Logica
Dmitrij P. Skvortsov
1993 J jnl
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
Ann. Pure Appl. Log.
Dmitrij P. Skvortsov, Valentin B. Shehtman
1986 J jnl
Logics of some kripke frames connected with Medvedev notion of informational types.
Stud Logica
Valentin B. Shehtman, Dmitrij P. Skvortsov