V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. Math., 108:2 (2023), 411–418
2.
V. B. Shehtman, “Bisimulation games and locally tabular logics”, Russian Math. Surveys, 71:5 (2016), 979–981
3.
Ilya Shapirovsky, Valentin Shehtman, “Local tabularity without transitivity”, Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, Advances in Modal Logic, 11, London, College Publications, 2016, 520–534
4.
Valentin Shehtman, “Canonical filtrations and local tabularity”, Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, Advances in Modal Logic, 10, London, College Publications, 2014, 498–512
5.
Andrey Kudinov, Valentin Shehtman, “Derivational modal logics with the difference modality”, Leo Esakia on duality in modal and intuitionistic logics, Outst. Contrib. Log., 4, Springer, Dordrecht, 2014, 291–334
Dov Gabbay, Ilya Shapirovsky, Valentin Shehtman, “Products of modal logics and tensor products of modal algebras”, J. Appl. Log., 12:4 (2014), 570–583
7.
V. B. Shehtman, “Squares of modal logics with additional connectives”, Russian Math. Surveys, 67:4 (2012), 721–777
8.
Andrey Kudinov, Ilya Shapirovsky, Valentin Shehtman, “On modal logics of Hamming spaces”, Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, Advances in Modal Logic, 9, College Publications, London, 2012, 395–410
9.
V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325
10.
L. L. Maksimova, D. P. Skvortsov, V. B. Shehtman, “Impossibility of finite axiomatization of Medvedev's logic of finite problems”, Dokl. Akad. Nauk SSSR, 245:5 (1979), 1051–1054
11.
V. B. Shekhtman, “Two-dimensional modal logic”, Math. Notes, 23:5 (1978), 417–424
12.
V. B. Shehtman, “An undecidable superintuitionistic propositional calculus”, Dokl. Akad. Nauk SSSR, 240:3 (1978), 549–552
13.
V. B. Shehtman, “Rieger–Nishimura lattices”, Dokl. Akad. Nauk SSSR, 241:6 (1978), 1288–1291
14.
V. B. Shehtman, “On incomplete propositional logics”, Dokl. Akad. Nauk SSSR, 235:3 (1977), 542–545
15.
Yu. S. Ilyashenko, V. B. Shehtman, M. A. Tsfasman, “Sergei N. Artemov”, Mosc. Math. J., 1:4 (2001), 643
Seminar 1. Algebraic and categorical logic S. L. Kuznetsov, V. B. Shehtman Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic" February 9, 2022 18:00
30.
Boxing modal logics V. B. Shehtman Logical Perspectives 2021: Summer School and Workshop June 19, 2021 10:30
Contact us: