V. B. Shehtman, D. P. Shkatov, “Semiproducts, products, and modal predicate logics: some examples”, Dokl. Math., 108:2 (2023), 411–418
2016
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
2014
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
2012
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
2011
9.
V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325
2001
10.
Yu. S. Ilyashenko, V. B. Shehtman, M. A. Tsfasman, “Sergei N. Artemov”, Mosc. Math. J., 1:4 (2001), 643
1979
11.
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
1978
12.
V. B. Shekhtman, “Two-dimensional modal logic”, Math. Notes, 23:5 (1978), 417–424
13.
V. B. Shehtman, “An undecidable superintuitionistic propositional calculus”, Dokl. Akad. Nauk SSSR, 240:3 (1978), 549–552
14.
V. B. Shehtman, “Rieger–Nishimura lattices”, Dokl. Akad. Nauk SSSR, 241:6 (1978), 1288–1291
1977
15.
V. B. Shehtman, “On incomplete propositional logics”, Dokl. Akad. Nauk SSSR, 235:3 (1977), 542–545
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
35.
Boxing modal logics V. B. Shehtman Logical Perspectives 2021: Summer School and Workshop June 19, 2021 10:30
2023
Contact us: