Search the dblp DataBase

Publications of Author

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