Skvortsov, Dmitrij On finite domains based slices in the structure of superintuitionistic predicate logics, preview. (English) Zbl 07740647 Log. Issled. 29, No. 1, 101-113 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Skvortsov}, Log. Issled. 29, No. 1, 101--113 (2023; Zbl 07740647) Full Text: DOI
Skvortsov, Dmitrij Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle. (English) Zbl 1258.03031 Stud. Log. 100, No. 1-2, 361-383 (2012). Reviewer: Marco Benini (Buccinasco) MSC: 03B55 PDFBibTeX XMLCite \textit{D. Skvortsov}, Stud. Log. 100, No. 1--2, 361--383 (2012; Zbl 1258.03031) Full Text: DOI
Skvortsov, Dmitrij On the predicate logic of linear Kripke frames and some of its extensions. (English) Zbl 1092.03013 Stud. Log. 81, No. 2, 261-282 (2005). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B55 PDFBibTeX XMLCite \textit{D. Skvortsov}, Stud. Log. 81, No. 2, 261--282 (2005; Zbl 1092.03013) Full Text: DOI
Skvortsov, D. On the predicate logics of finite Kripke frames. (English) Zbl 0839.03011 Stud. Log. 54, No. 1, 79-88 (1995). Reviewer: T.Hosoi (Noda / Chiba) MSC: 03B55 PDFBibTeX XMLCite \textit{D. Skvortsov}, Stud. Log. 54, No. 1, 79--88 (1995; Zbl 0839.03011) Full Text: DOI
Skvortsov, D. P.; Shekhtman, V. B. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. (English) Zbl 0794.03028 Ann. Pure Appl. Logic 63, No. 1, 69-101 (1993). Reviewer: O.Sonobe (Follonica) MSC: 03B45 03B55 03C90 03C30 PDFBibTeX XMLCite \textit{D. P. Skvortsov} and \textit{V. B. Shekhtman}, Ann. Pure Appl. Logic 63, No. 1, 69--101 (1993; Zbl 0794.03028) Full Text: DOI