Dmitrij P. Skvortsov

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 1

Top Topics

Valued Semantics

Inference Rules

Predicate Logic

Top Venues

Advances in Modal Logic

Publications

Dmitrij P. Skvortsov
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 (2018)
Dmitrij P. Skvortsov
A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. Advances in Modal Logic (2012)
Dmitrij P. Skvortsov
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle. Stud Logica 100 (1-2) (2012)
Dmitrij P. Skvortsov
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains. J. Log. Comput. 21 (4) (2011)
Dmitrij P. Skvortsov
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. Advances in Modal Logic (2010)
Dmitrij P. Skvortsov
On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames. J. Log. Comput. 16 (5) (2006)
Dmitrij P. Skvortsov
On the Predicate Logic of Linear Kripke Frames and some of its Extensions. Stud Logica 81 (2) (2005)
Dmitrij P. Skvortsov
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. J. Symb. Log. 70 (2) (2005)
Dmitrij P. Skvortsov
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. Stud Logica 77 (3) (2004)
Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. CSL (2002)
Dmitrij P. Skvortsov
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. Advances in Modal Logic (2002)
Dmitrij P. Skvortsov
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics. Stud Logica 64 (2) (2000)
Dmitrij P. Skvortsov
Remark on a finite axiomatization of finite intermediate propositional logics. J. Appl. Non Class. Logics 9 (2-3) (1999)
Dmitrij P. Skvortsov
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Stud Logica 61 (2) (1998)
Dmitrij P. Skvortsov
Non-Axiomatizable Second Order Intuitionistic Propositional Logic. Ann. Pure Appl. Log. 86 (1) (1997)
Dmitrij P. Skvortsov
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Stud Logica 59 (3) (1997)
Dmitrij P. Skvortsov
On the predicate logic of finite Kripke frames. Stud Logica 54 (1) (1995)
Dmitrij P. Skvortsov, Valentin B. Shehtman
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. Ann. Pure Appl. Log. 63 (1) (1993)
Valentin B. Shehtman, Dmitrij P. Skvortsov
Logics of some kripke frames connected with Medvedev notion of informational types. Stud Logica 45 (1) (1986)