Edit Profile (opens in new tab) Shehtman, Valentin B. Co-Author Distance Author ID: shehtman.valentin-b Published as: Shehtman, Valentin; Shekhtman, V. B.; Shehtman, V. B.; Shehtman, Valentin B.; Shekhtman, Valentin more...less 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 all top 5 Co-Authors 25 single-authored 6 Gabbay, Dov M. 5 Shapirovsky, Ilya B. 5 Skvortsov, Dmitrij 2 Kudinov, Andreĭ Valer’evich 1 Beklemishev, Lev D. 1 Chagrov, Aleksandr Vasil’evich 1 Goranko, Valentin F. 1 Maksimova, Larisa L’vovna all top 5 Serials 4 Soviet Mathematics. Doklady 4 Studia Logica 2 Russian Mathematical Surveys 2 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 Logic Journal of the IGPL 2 Semiotika i Informatika 1 Mathematical Notes 1 Matematicheskie Zametki 1 The Journal of Symbolic Logic 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Journal of Applied Non-Classical Logics 1 Voprosy Kibernetiki (Moskva) 1 Doklady Mathematics 1 Journal of Applied Logic 1 Proceedings of the Steklov Institute of Mathematics 1 Studies in Logic and the Foundations of Mathematics all top 5 Fields 43 Mathematical logic and foundations (03-XX) 3 Relativity and gravitational theory (83-XX) 2 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Fields 212 Mathematical logic and foundations (03-XX) 44 Computer science (68-XX) 17 General topology (54-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 6 Relativity and gravitational theory (83-XX) 4 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 3 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Geometry (51-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.