Skvortsov Dmitrii Pavlovich

Presentations in Math-Net.Ru

1. On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics
   D. P. Skvortsov
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 10:30   
2. A remark on propositional Kripke frames sound for intuitionistic logic
   Dmitrij Skvortsov
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 27, 2010 09:15