We stand with Ukraine  

Dmitrij P. Skvortsov

According to our database1, Dmitrij P. Skvortsov authored at least 20 papers between 1986 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics.
[BibTeX]
Mikhail N. Rybakov
,
Dmitry Shkatov
,
Dmitrij P. Skvortsov
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 2012

A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
J. Log. Comput., 2011

2010
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
J. Log. Comput., 2006

2005
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 2005

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
J. Symb. Log., 2005

2004
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 2004

2002
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 2000

1999
Remark on a finite axiomatization of finite intermediate propositional logics.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
J. Appl. Non Class. Logics, 1999

1998
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 1998

1997
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 1997

Non-Axiomatizable Second Order Intuitionistic Propositional Logic.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Ann. Pure Appl. Log., 1997

1995
On the predicate logic of finite Kripke frames.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
Stud Logica, 1995

1993
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
[BibTeX]
[DOI]
Dmitrij P. Skvortsov
,
Valentin B. Shehtman
Ann. Pure Appl. Log., 1993

1986
Logics of some kripke frames connected with Medvedev notion of informational types.
[BibTeX]
[DOI]
Valentin B. Shehtman
,
Dmitrij P. Skvortsov
Stud Logica, 1986


  Loading...