Скворцов Дмитрий Павлович

Доклады и лекции в базе данных 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
   17 июня 2021 г. 10:30   
2. A remark on propositional Kripke frames sound for intuitionistic logic
   Dmitrij Skvortsov
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   27 августа 2010 г. 09:15