×

Shehtman, Valentin B.

Author ID: shehtman.valentin-b Recent zbMATH articles by "Shehtman, Valentin B."
Published as: Shehtman, Valentin; Shekhtman, V. B.; Shehtman, V. B.; Shehtman, Valentin B.; Shekhtman, Valentin
External Links: MGP · ORCID · Wikidata
Documents Indexed: 41 Publications since 1977, including 1 Book
2 Contributions as Editor
Reviewing Activity: 47 Reviews
Co-Authors: 8 Co-Authors with 17 Joint Publications
392 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 313 times in 223 Documents Cited by Year
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
61
1998
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
41
2009
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
25
1999
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
15
2003
On incomplete propositional logics. Zbl 0412.03011
Shekhtman, V. B.
13
1977
Modal logics of domains on the real plane. Zbl 0541.03011
Shekhtman, V. B.
12
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.
12
1979
Semantics of non-classical first order predicate logics. Zbl 0788.03022
Shekhtman, Valentin; Skvortsov, Dmitrij
11
1990
Two-dimensional modal logic. Zbl 0403.03015
Shekhtman, V. B.
11
1978
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
10
1993
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
10
2000
Derivational modal logics with the difference modality. Zbl 1352.03031
Kudinov, Andrey; Shehtman, Valentin
9
2014
Topological models of propositional logics. Zbl 0455.03013
Shekhtman, V. B.
8
1980
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
7
2002
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Zbl 0794.03028
Skvortsov, D. P.; Shekhtman, V. B.
7
1993
Modal logics of regions and Minkowski spacetime. Zbl 1084.03016
Shapirovsky, Ilya; Shehtman, Valentin
7
2005
Rieger-Nishimura lattices. Zbl 0412.03010
Shekhtman, V. B.
7
1978
Filtration via bisimulation. Zbl 1102.03021
Shehtman, Valentin
5
2005
An undecidable superintuitionistic propositional calculus. Zbl 0417.03010
Shekhtman, V. B.
5
1978
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. Zbl 0724.03017
Shekhtman, Valentin
5
1990
Undecidable propositional calculi. Zbl 0499.03003
Shekhtman, V. B.
4
1982
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
4
1995
On squares of modal logics with additional connectives. Zbl 1294.03018
Shehtman, V. B.
3
2011
On strong neighbourhood completeness of modal and intermediate logics. I. Zbl 0913.03024
Shehtman, Valentin
2
1998
Logics of some Kripke frames connected with Medvedev notion of informational types. Zbl 0615.03008
Shekhtman, V. B.; Skvortsov, D. P.
2
1986
On neighbourhood semantics thirty years later. Zbl 1272.03102
Shehtman, Valentin
2
2005
Bisimulation games and locally tabular logics. Zbl 1522.03057
Shehtman, V. B.
1
2016
On modal logics of Hamming spaces. Zbl 1291.03036
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin
1
2012
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004
1
2010
Local tabularity without transitivity. Zbl 1400.03051
Shapirovsky, Ilya; Shehtman, Valentin
1
2016
Completeness and incompleteness in first-order modal logic: an overview. Zbl 1141.03313
Shehtman, Valentin
1
2006
A remark on M. K. Rennie’s paper ”Models for multiply modal systems”. Zbl 0382.03016
Shekhtman, V. B.
1
1977
Squares of modal logics with additional connectives. Zbl 1270.03041
Shehtman, V. B.
1
2012
On Kripke completeness of some modal predicate logics with the density axiom. Zbl 1418.03102
Shehtman, Valentin
1
2018
On Kripke completeness of modal predicate logics around quantified K5. Zbl 1523.03007
Shehtman, Valentin
1
2023
Segerberg squares of modal logics and theories of relation algebras. Zbl 1429.03086
Shehtman, Valentin
1
2018
On Kripke completeness of modal predicate logics around quantified K5. Zbl 1523.03007
Shehtman, Valentin
1
2023
On Kripke completeness of some modal predicate logics with the density axiom. Zbl 1418.03102
Shehtman, Valentin
1
2018
Segerberg squares of modal logics and theories of relation algebras. Zbl 1429.03086
Shehtman, Valentin
1
2018
Bisimulation games and locally tabular logics. Zbl 1522.03057
Shehtman, V. B.
1
2016
Local tabularity without transitivity. Zbl 1400.03051
Shapirovsky, Ilya; Shehtman, Valentin
1
2016
Derivational modal logics with the difference modality. Zbl 1352.03031
Kudinov, Andrey; Shehtman, Valentin
9
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.
3
2011
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004
1
2010
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
41
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
7
2005
Filtration via bisimulation. Zbl 1102.03021
Shehtman, Valentin
5
2005
On neighbourhood semantics thirty years later. Zbl 1272.03102
Shehtman, Valentin
2
2005
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
15
2003
Products of modal logics. III. Products of modal and temporal logics. Zbl 1014.03023
Gabbay, Dov; Shehtman, Valentin
7
2002
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
10
2000
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
25
1999
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
61
1998
On strong neighbourhood completeness of modal and intermediate logics. I. Zbl 0913.03024
Shehtman, Valentin
2
1998
Algorithmic aspects of propositional tense logics. Zbl 1044.03513
Chagrov, Alexander V.; Shehtman, Valentin B.
4
1995
Undecidability of modal and intermediate first-order logics with two individual variables. Zbl 0797.03002
Gabbay, D. M.; Shekhtman, V. B.
10
1993
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Zbl 0794.03028
Skvortsov, D. P.; Shekhtman, V. B.
7
1993
Semantics of non-classical first order predicate logics. Zbl 0788.03022
Shekhtman, Valentin; Skvortsov, Dmitrij
11
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.
12
1983
Undecidable propositional calculi. Zbl 0499.03003
Shekhtman, V. B.
4
1982
Topological models of propositional logics. Zbl 0455.03013
Shekhtman, V. B.
8
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.
12
1979
Two-dimensional modal logic. Zbl 0403.03015
Shekhtman, V. B.
11
1978
Rieger-Nishimura lattices. Zbl 0412.03010
Shekhtman, V. B.
7
1978
An undecidable superintuitionistic propositional calculus. Zbl 0417.03010
Shekhtman, V. B.
5
1978
On incomplete propositional logics. Zbl 0412.03011
Shekhtman, V. B.
13
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 223 Authors

14 Bezhanishvili, Guram
14 Zakharyaschev, Michael Viktorovich
10 Wolter, Frank
9 Kurucz, Agi
7 Shehtman, Valentin B.
6 Gabelaia, David
6 Muravitsky, Alexei Yu.
5 Balbiani, Philippe
5 Fernández Duque, David
5 Kikot, Stanislav
5 Kremer, Philip
5 Shapirovsky, Ilya B.
5 Skvortsov, Dmitrij
5 Suzuki, Nobu-Yuki
4 Bezhanishvili, Nick
4 de Jongh, Dick Herman Jacobus
4 Ghilardi, Silvio
4 Goldblatt, Robert Ian
4 Hodkinson, Ian Martin
4 Montanari, Angelo
4 Rybakov, Mikhail Nikolaevich
3 Chagrov, Aleksandr Vasil’evich
3 Felscher, Ingo
3 Gabbay, Dov M.
3 Goranko, Valentin F.
3 Gyenis, Zalán
3 Hampson, Christopher
3 Iemhoff, Rosalie
3 Karpenko, Anastasia Valer’evna
3 Kishida, Kohei
3 Liu, Fenrong
3 Padmanabha, Anantha
3 Ramanujam, R.
3 Sano, Katsuhiko
3 Sustretov, Dmitry
3 van Benthem, Johan F. A. K.
2 Aiello, Marco
2 Areces, Carlos
2 Beklemishev, Lev D.
2 Belardinelli, Francesco
2 Bresolin, Davide
2 Carai, Luca
2 Demri, Stéphane P.
2 Došen, Kosta
2 Fritz, Peter
2 Gehrke, Mai
2 Göller, Stefan
2 Gougeon, Quentin
2 Hirsch, Robin
2 Jobczyk, Krystian
2 Jung, Jean Christoph
2 Kennedy, Neil
2 Khan, Md. Aquil
2 Kutz, Oliver
2 Lohrey, Markus
2 Lucero-Bryan, Joel Gregory
2 Maksimova, Larisa L’vovna
2 Marcelino, Sérgio
2 Olkhovikov, Grigory K.
2 Sala, Pietro
2 Schmidt, Renate A.
2 Sciavicco, Guido
2 Shkatov, Dmitry
2 Strobach, Niko
2 ten Cate, Balder David
2 Thomas, Wolfgang
2 Tishkovsky, Dmitry
2 Vakarelov, Dimiter
2 Wang, Yanjing
2 Yang, Eunsuk
2 Zoghifard, Reihane
1 Adi, Kamel
1 Ardeshir, Mohammad
1 Avellone, Alessandro
1 Awodey, Steve
1 Baaz, Matthias
1 Badia, Guillermo
1 Baltag, Alexandru
1 Banerjee, Mohua
1 Benedikt, Michael A.
1 Benevides, Mario R. F.
1 Blackburn, Patrick
1 Bloch, Isabelle
1 Božić, Milan
1 Bozzelli, Laura
1 Brantley, Kristina Leifeste
1 Broersen, Jan M.
1 Calardo, Erica
1 Caleiro, Carlos
1 Chao, Fei
1 Chen, Qian
1 Chernov, Alekseĭ Vyacheslav
1 Chizhov, A. S.
1 Ciardelli, Ivano A.
1 Dalmonte, Tiziano
1 De Berardinis, Matteo
1 de Nivelle, Hans
1 Della Monica, Dario
1 Deters, Morgan
1 Dopico, Pablo
...and 123 more Authors
all top 5

Cited in 43 Serials

32 Studia Logica
21 Annals of Pure and Applied Logic
13 The Review of Symbolic Logic
11 The Journal of Symbolic Logic
10 Algebra and Logic
9 Journal of Philosophical Logic
6 ACM Transactions on Computational Logic
5 Mathematical Notes
5 Notre Dame Journal of Formal Logic
5 Synthese
5 The Bulletin of Symbolic Logic
4 Journal of Logic, Language and Information
4 Journal of Applied Non-Classical Logics
4 Mathematical Logic Quarterly (MLQ)
4 Annals of Mathematics and Artificial Intelligence
4 Journal of Applied Logic
4 Logicheskie Issledovaniya
3 Theoretical Computer Science
3 Archive for Mathematical Logic
3 Logica Universalis
2 Artificial Intelligence
2 Problems of Information Transmission
2 Bulletin of the Section of Logic
2 Indagationes Mathematicae. New Series
2 Logical Methods in Computer Science
2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
2 Journal of Logical and Algebraic Methods in Programming
1 Algebra Universalis
1 Information Sciences
1 Siberian Mathematical Journal
1 Information and Computation
1 International Journal of Approximate Reasoning
1 SIAM Journal on Discrete Mathematics
1 Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Sbornik: Mathematics
1 Izvestiya: Mathematics
1 Doklady Mathematics
1 Erkenntnis
1 Journal of Mathematical Logic
1 Logic and Logical Philosophy
1 Journal of Multiple-Valued Logic and Soft Computing
1 Proceedings of the Steklov Institute of Mathematics

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.