| 2006 |
|---|
| 12 | EE | 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): 685-695 (2006) |
| 2005 |
|---|
| 11 | EE | Dmitrij P. Skvortsov:
On the Predicate Logic of Linear Kripke Frames and some of its Extensions.
Studia Logica 81(2): 261-282 (2005) |
| 2004 |
|---|
| 10 | EE | Dmitrij P. Skvortsov:
On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.
Studia Logica 77(3): 295-323 (2004) |
| 2002 |
|---|
| 9 | | Dmitrij P. Skvortsov:
An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics.
Advances in Modal Logic 2002: 461-474 |
| 8 | EE | 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: 74-88 |
| 2000 |
|---|
| 7 | | Dmitrij P. Skvortsov:
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.
Studia Logica 64(2): 257-270 (2000) |
| 1999 |
|---|
| 6 | | Dmitrij P. Skvortsov:
Remark on a finite axiomatization of finite intermediate propositional logics.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 1998 |
|---|
| 5 | | Dmitrij P. Skvortsov:
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.
Studia Logica 61(2): 281-292 (1998) |
| 1997 |
|---|
| 4 | | Dmitrij P. Skvortsov:
Non-Axiomatizable Second Order Intuitionistic Propositional Logic.
Ann. Pure Appl. Logic 86(1): 33-46 (1997) |
| 3 | | Dmitrij P. Skvortsov:
Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.
Studia Logica 59(3): 387-396 (1997) |
| 1995 |
|---|
| 2 | | Dmitrij P. Skvortsov:
On the predicate logic of finite Kripke frames.
Studia Logica 54(1): 79-88 (1995) |
| 1993 |
|---|
| 1 | | Dmitrij P. Skvortsov,
Valentin B. Shehtman:
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics.
Ann. Pure Appl. Logic 63(1): 69-101 (1993) |
