Dmitrij P. Skvortsov

According to our database, Dmitrij P. Skvortsov authored at least 19 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

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

Proceedings of the Advances in Modal Logic 12, 2018

2012

Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.

Dmitrij P. Skvortsov

Stud Logica, 2012

A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.

Dmitrij P. Skvortsov

Proceedings of the Advances in Modal Logic 9, 2012

2011

A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains.

Dmitrij P. Skvortsov

J. Log. Comput., 2011

2010

A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.

Dmitrij P. Skvortsov

Proceedings of the Advances in Modal Logic 8, 2010

2006

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

2005

On the Predicate Logic of Linear Kripke Frames and some of its Extensions.

Dmitrij P. Skvortsov

Stud Logica, 2005

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.

Dmitrij P. Skvortsov

J. Symb. Log., 2005

2004

On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.

Dmitrij P. Skvortsov

Stud Logica, 2004

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

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.

Dmitrij P. Skvortsov

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.

Dmitrij P. Skvortsov

Stud Logica, 2000

1999

Remark on a finite axiomatization of finite intermediate propositional logics.

Dmitrij P. Skvortsov

J. Appl. Non Class. Logics, 1999

1998

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.

Dmitrij P. Skvortsov

Stud Logica, 1998

1997

Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.

Dmitrij P. Skvortsov

Stud Logica, 1997

Non-Axiomatizable Second Order Intuitionistic Propositional Logic.

Dmitrij P. Skvortsov

Ann. Pure Appl. Log., 1997

1995

On the predicate logic of finite Kripke frames.

Dmitrij P. Skvortsov

Stud Logica, 1995

1993

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.

Dmitrij P. Skvortsov, Valentin B. Shehtman

Ann. Pure Appl. Log., 1993

1986

Logics of some kripke frames connected with Medvedev notion of informational types.

Valentin B. Shehtman, Dmitrij P. Skvortsov

Stud Logica, 1986