Edit Profile (opens in new tab) Shapirovsky, Ilya B. Co-Author Distance Author ID: shapirovsky.ilya-b Published as: Shapirovsky, Ilya; Shapirovsky, Ilya B.; Shapirovsky, I. B.; Shapirovsky, I. more...less Documents Indexed: 29 Publications since 2003, including 6 Additional arXiv Preprints Co-Authors: 14 Co-Authors with 17 Joint Publications 289 Co-Co-Authors all top 5 Co-Authors 12 single-authored 5 Shehtman, Valentin B. 4 Kudinov, Andreĭ Valer’evich 3 Kikot, Stanislav 3 Zolin, Evgeniĭ Evgen’evich 2 Saveliev, Denis I. 1 Agnew, Gabriel 1 Balbiani, Philippe 1 Gabbay, Dov M. 1 Gutierrez-Hougardy, Uzias 1 Harding, John 1 Rogozin, Daniel 1 Shethman, V. 1 Sliusarev, Vladislav 1 West, Jackson all top 5 Serials 2 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications 1 Problems of Information Transmission 1 Russian Mathematical Surveys 1 Studia Logica 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Izvestiya: Mathematics 1 Journal of Applied Logic Fields 28 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Relativity and gravitational theory (83-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 60 times in 46 Documents Cited by ▼ Year ▼ Chronological future modality in Minkowski spacetime. Zbl 1082.03016 Shapirovsky, Ilya; Shehtman, Valentin 15 2003 PSPACE-decidability of Japaridze’s polymodal logic. Zbl 1244.03073 Shapirovsky, Ilya 11 2008 Modal logics of regions and Minkowski spacetime. Zbl 1084.03016 Shapirovsky, Ilya; Shehtman, Valentin 7 2005 On PSPACE-decidability in transitive modal logics. Zbl 1102.03020 Shapirovsky, I. 6 2005 Every world can see a Sahlqvist world. Zbl 1151.03011 Balbiani, P.; Shapirovsky, I.; Shethman, V. 5 2006 Filtration safe operations on frames. Zbl 1385.03020 Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny 4 2014 On modal logics of model-theoretic relations. Zbl 1473.03011 Saveliev, Denis I.; Shapirovsky, Ilya B. 2 2020 Modal logics with transitive closure: completeness, decidability, filtration. Zbl 1535.03117 Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny 2 2020 Truth-preserving operations on sums of Kripke frames. Zbl 1418.03101 Shapirovsky, Ilya 1 2018 Partitioning Kripke frames of finite height. Zbl 1371.03025 Kudinov, Andrey V.; Shapirovsky, Ilya B. 1 2017 On modal logics of Hamming spaces. Zbl 1291.03036 Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin 1 2012 Simulation of two dimensions in unimodal logics. Zbl 1254.03018 Shapirovsky, Ilya 1 2010 Local tabularity without transitivity. Zbl 1400.03051 Shapirovsky, Ilya; Shehtman, Valentin 1 2016 Downward-directed transitive frames with universal relations. Zbl 1148.03021 Shapirovsky, Ilya 1 2006 On modal logics of model-theoretic relations. Zbl 1473.03011 Saveliev, Denis I.; Shapirovsky, Ilya B. 2 2020 Modal logics with transitive closure: completeness, decidability, filtration. Zbl 1535.03117 Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny 2 2020 Truth-preserving operations on sums of Kripke frames. Zbl 1418.03101 Shapirovsky, Ilya 1 2018 Partitioning Kripke frames of finite height. Zbl 1371.03025 Kudinov, Andrey V.; Shapirovsky, Ilya B. 1 2017 Local tabularity without transitivity. Zbl 1400.03051 Shapirovsky, Ilya; Shehtman, Valentin 1 2016 Filtration safe operations on frames. Zbl 1385.03020 Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny 4 2014 On modal logics of Hamming spaces. Zbl 1291.03036 Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin 1 2012 Simulation of two dimensions in unimodal logics. Zbl 1254.03018 Shapirovsky, Ilya 1 2010 PSPACE-decidability of Japaridze’s polymodal logic. Zbl 1244.03073 Shapirovsky, Ilya 11 2008 Every world can see a Sahlqvist world. Zbl 1151.03011 Balbiani, P.; Shapirovsky, I.; Shethman, V. 5 2006 Downward-directed transitive frames with universal relations. Zbl 1148.03021 Shapirovsky, Ilya 1 2006 Modal logics of regions and Minkowski spacetime. Zbl 1084.03016 Shapirovsky, Ilya; Shehtman, Valentin 7 2005 On PSPACE-decidability in transitive modal logics. Zbl 1102.03020 Shapirovsky, I. 6 2005 Chronological future modality in Minkowski spacetime. Zbl 1082.03016 Shapirovsky, Ilya; Shehtman, Valentin 15 2003 all cited Publications top 5 cited Publications all top 5 Cited by 67 Authors 5 Montanari, Angelo 3 Bresolin, Davide 3 Goranko, Valentin F. 3 Kikot, Stanislav 3 Sala, Pietro 3 Sciavicco, Guido 3 Shapirovsky, Ilya B. 2 Balbiani, Philippe 2 Beklemishev, Lev D. 2 Della Monica, Dario 2 Gencer, Çigdem 2 Hirsch, Robin 2 Hodkinson, Ian Martin 2 Joosten, Joost J. 2 Kurucz, Agi 2 Strobach, Niko 2 Svyatlovskii, Mikhail V. 2 Vakarelov, Dimiter 1 Aiello, Marco 1 Bashmakov, Stepan Igorevich 1 Berger, Sören 1 Bezhanishvili, Guram 1 Bezhanishvili, Nick 1 Bloch, Isabelle 1 Block, Alexander Christensen 1 Bozzelli, Laura 1 Chalki, Aggeliki 1 Chen, Qian 1 Chizhov, A. S. 1 Dashkov, E. V. 1 de Almeida Borges, Ana 1 Dvorkin, Lev V. 1 Hamkins, Joel David 1 Hampson, Christopher 1 Holliday, Wesley H. 1 Humberstone, Lloyd 1 Koutras, Costas D. 1 Kudinov, Andreĭ Valer’evich 1 Litak, Tadeusz 1 Löwe, Benedikt 1 Ma, Minghui 1 Marcelino, Sérgio 1 Mclean, Brett 1 Molinari, Alberto 1 Möller, Bernhard 1 Molnár, Attila 1 Müller, Thomas 1 Pakhomov, Fedor N. 1 Paternault, Louis 1 Peron, Adriano 1 Puppis, Gabriele 1 Reynolds, Mark Alexander 1 Rooduijn, Jan 1 Rostamigiv, Maryam 1 Székely, Gergely 1 Tanaka, Yoshihito 1 Tinchev, Tinko 1 Uckelman, Joel 1 Uckelman, Sara Liana 1 Vályi, Sándor 1 van Benthem, Johan F. A. K. 1 Venema, Yde 1 Wołoszyn, Wojciech Aleksander 1 Wolter, Frank 1 Zakharyaschev, Michael Viktorovich 1 Zikos, Yorgos 1 Zvereva, Tatyana Yurievna all top 5 Cited in 22 Serials 7 Studia Logica 4 The Journal of Symbolic Logic 4 Synthese 3 Annals of Pure and Applied Logic 2 Mathematical Notes 2 Problems of Information Transmission 2 Algebra and Logic 2 Izvestiya: Mathematics 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Russian Mathematical Surveys 1 Algebra Universalis 1 Notre Dame Journal of Formal Logic 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 44 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 5 Relativity and gravitational theory (83-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year