×

zbMATH — the first resource for mathematics

Shehtman, Valentin B.

Compute Distance To:
Author ID: shehtman.valentin-b Recent zbMATH articles by "Shehtman, Valentin B."
Published as: Shehtman, V. B.; Shehtman, Valentin; Shehtman, Valentin B.; Shekhtman, V. B.; Shekhtman, Valentin
External Links: MGP · ORCID
Documents Indexed: 41 Publications since 1977, including 3 Books
Reviewing Activity: 47 Reviews

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 205 times in 152 Documents Cited by Year
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
45
1998
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
19
1999
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
13
2009
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
13
2003
Modal logics of domains on the real plane. Zbl 0541.03011
Shekhtman, V. B.
11
1983
The impossibility of a finite axiomatization of Medvedev’s logic of finitary problems. Zbl 0439.03008
Maksimova, L. L.; Skvortsov, D. P.; Shekhtman, V. B.
10
1979
On incomplete propositional logics. Zbl 0412.03011
Shekhtman, V. B.
10
1977
Semantics of non-classical first order predicate logics. Zbl 0788.03022
Shekhtman, Valentin; Skvortsov, Dmitrij
9
1990
Two-dimensional modal logic. Zbl 0403.03015
Shekhtman, V. B.
8
1978
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
Modal logics of regions and Minkowski spacetime. Zbl 1084.03016
Shapirovsky, Ilya; Shehtman, Valentin
6
2005
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
6
2002
Topological models of propositional logics. Zbl 0455.03013
Shekhtman, V. B.
6
1980
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
5
1993
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Zbl 0724.03017
Shekhtman, Valentin
5
1990
An undecidable superintuitionistic propositional calculus. Zbl 0417.03010
Shekhtman, V. B.
5
1978
Derivational modal logics with the difference modality. Zbl 1352.03031
Kudinov, Andrey; Shehtman, Valentin
4
2014
Filtration via bisimulation. Zbl 1102.03021
Shehtman, Valentin
3
2005
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Zbl 0794.03028
Skvortsov, D. P.; Shekhtman, V. B.
3
1993
On squares of modal logics with additional connectives. Zbl 1294.03018
Shehtman, V. B.
2
2011
Logics of some Kripke frames connected with Medvedev notion of informational types. Zbl 0615.03008
Shekhtman, V. B.; Skvortsov, D. P.
2
1986
Undecidable propositional calculi. Zbl 0499.03003
Shekhtman, V. B.
2
1982
Rieger-Nishimura lattices. Zbl 0412.03010
Shekhtman, V. B.
2
1978
On modal logics of Hamming spaces. Zbl 1291.03036
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin
1
2012
Squares of modal logics with additional connectives. Zbl 1270.03041
Shehtman, V. B.
1
2012
Completeness and incompleteness in first-order modal logic: an overview. Zbl 1141.03313
Shehtman, Valentin
1
2006
On neighbourhood semantics thirty years later. Zbl 1272.03102
Shehtman, Valentin
1
2005
On strong neighbourhood completeness of modal and intermediate logics. I. Zbl 0913.03024
Shehtman, Valentin
1
1998
A remark on M. K. Rennie’s paper ”Models for multiply modal systems”. Zbl 0382.03016
Shekhtman, V. B.
1
1977
Derivational modal logics with the difference modality. Zbl 1352.03031
Kudinov, Andrey; Shehtman, Valentin
4
2014
On modal logics of Hamming spaces. Zbl 1291.03036
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin
1
2012
Squares of modal logics with additional connectives. Zbl 1270.03041
Shehtman, V. B.
1
2012
On squares of modal logics with additional connectives. Zbl 1294.03018
Shehtman, V. B.
2
2011
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
13
2009
Completeness and incompleteness in first-order modal logic: an overview. Zbl 1141.03313
Shehtman, Valentin
1
2006
Modal logics of regions and Minkowski spacetime. Zbl 1084.03016
Shapirovsky, Ilya; Shehtman, Valentin
6
2005
Filtration via bisimulation. Zbl 1102.03021
Shehtman, Valentin
3
2005
On neighbourhood semantics thirty years later. Zbl 1272.03102
Shehtman, Valentin
1
2005
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
13
2003
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
6
2002
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
19
1999
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
45
1998
On strong neighbourhood completeness of modal and intermediate logics. I. Zbl 0913.03024
Shehtman, Valentin
1
1998
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
3
1995
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
5
1993
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Zbl 0794.03028
Skvortsov, D. P.; Shekhtman, V. B.
3
1993
Semantics of non-classical first order predicate logics. Zbl 0788.03022
Shekhtman, Valentin; Skvortsov, Dmitrij
9
1990
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Zbl 0724.03017
Shekhtman, Valentin
5
1990
Logics of some Kripke frames connected with Medvedev notion of informational types. Zbl 0615.03008
Shekhtman, V. B.; Skvortsov, D. P.
2
1986
Modal logics of domains on the real plane. Zbl 0541.03011
Shekhtman, V. B.
11
1983
Undecidable propositional calculi. Zbl 0499.03003
Shekhtman, V. B.
2
1982
Topological models of propositional logics. Zbl 0455.03013
Shekhtman, V. B.
6
1980
The impossibility of a finite axiomatization of Medvedev’s logic of finitary problems. Zbl 0439.03008
Maksimova, L. L.; Skvortsov, D. P.; Shekhtman, V. B.
10
1979
Two-dimensional modal logic. Zbl 0403.03015
Shekhtman, V. B.
8
1978
An undecidable superintuitionistic propositional calculus. Zbl 0417.03010
Shekhtman, V. B.
5
1978
Rieger-Nishimura lattices. Zbl 0412.03010
Shekhtman, V. B.
2
1978
On incomplete propositional logics. Zbl 0412.03011
Shekhtman, V. B.
10
1977
A remark on M. K. Rennie’s paper ”Models for multiply modal systems”. Zbl 0382.03016
Shekhtman, V. B.
1
1977
all top 5

Cited by 158 Authors

13 Zakharyaschev, Michael Viktorovich
9 Bezhanishvili, Guram
9 Kurucz, Agi
9 Wolter, Frank
6 Muravitsky, Alexei Yu.
5 Kremer, Philip
5 Shehtman, Valentin B.
4 Balbiani, Philippe
4 Gabelaia, David
4 Goldblatt, Robert Ian
4 Hodkinson, Ian Martin
4 Kikot, Stanislav
3 Bezhanishvili, Nick
3 Chagrov, Aleksandr Vasil’evich
3 Felscher, Ingo
3 Goranko, Valentin F.
3 Gyenis, Zalán
3 Hampson, Christopher
3 Karpenko, Anastasia Valer’evna
3 Montanari, Angelo
3 Shapirovsky, Ilya B.
3 Skvortsov, Dmitrij
3 Sustretov, Dmitry
3 Suzuki, Nobu-Yuki
2 Aiello, Marco
2 Areces, Carlos
2 Bresolin, Davide
2 de Jongh, Dick H. J.
2 Demri, Stéphane P.
2 Došen, Kosta
2 Gabbay, Dov M.
2 Holliday, Wesley H.
2 Iemhoff, Rosalie
2 Kutz, Oliver
2 Lando, Tamar
2 Lucero-Bryan, Joel Gregory
2 Maksimova, Larisa L’vovna
2 Marcelino, Sérgio
2 Sano, Katsuhiko
2 Schmidt, Renate A.
2 Sciavicco, Guido
2 Strobach, Niko
2 ten Cate, Balder David
2 Thomas, Wolfgang
2 Tishkovsky, Dmitry
2 van Benthem, Johan F. A. K.
1 Adi, Kamel
1 Avellone, Alessandro
1 Baltag, Alexandru
1 Beklemishev, Lev D.
1 Belardinelli, Francesco
1 Benevides, Mario R. F.
1 Blackburn, Patrick
1 Bloch, Isabelle
1 Božić, Milan
1 Broersen, Jan M.
1 Brown, William R.
1 Calardo, Erica
1 Caleiro, Carlos
1 Chao, Fei
1 Chernov, Alekseĭ Vyacheslav
1 Chizhov, A. S.
1 Ciardelli, Ivano A.
1 de Nivelle, Hans
1 Della Monica, Dario
1 Deters, Morgan
1 Dzik, Wojciech
1 Fernández Duque, David
1 Ferrari, Luca Alberto Davide
1 Fiorentini, Camillo
1 Fitting, Melvin Chris
1 French, Rohan
1 Fritz, Peter K.
1 Gasquet, Olivier
1 Gehrke, Mai
1 Georgatos, Konstantinos
1 Ghilardi, Silvio
1 Göller, Stefan
1 Gu, Yilan
1 Harding, John
1 Harrison-Trainor, Matthew
1 Hirsch, Robin
1 Hoffmann, Guillaume
1 Hsieh, Ai-Ni
1 Huang, Zhongqiang
1 Hustadt, Ullrich
1 Isoda, Eiko
1 Jiang, Min
1 Jung, Jean Christoph
1 Kempf, Peter
1 Kennedy, Neil
1 Khan, Md. Aquil
1 Khomich, V. I.
1 Kishida, Kohei
1 Kontchakov, Roman
1 Kurucz, Ágnes
1 Kuznetsov, Alexander Vladimirovich
1 Lemon, Oliver
1 Liu, Fenrong
1 Lohrey, Markus
...and 58 more Authors

Citations by Year