Chronological future modality in Minkowski spacetime I Shapirovsky, V Shehtman | 52 | 2003 |
PSPACE-decidability of Japaridze's polymodal logic. I Shapirovsky Advances in modal logic 7, 289-304, 2008 | 35 | 2008 |
On PSPACE-decidability in Transitive Modal Logic. I Shapirovsky Advances in Modal Logic 5, 269-287, 2004 | 30 | 2004 |
Modal logics of regions and Minkowski spacetime I Shapirovsky, V Shehtman Journal of Logic and Computation 15 (4), 559-574, 2005 | 26 | 2005 |
Local tabularity without transitivity. I Shapirovsky, VB Shehtman Advances in Modal Logic 11, 520-534, 2016 | 12 | 2016 |
Filtration safe operations on frames S Kikot, I Shapirovsky, E Zolin Advances in modal logic 10, 333-352, 2014 | 11 | 2014 |
Simulation of Two Dimensions in Unimodal Logics. I Shapirovsky Advances in modal logic 8, 371-391, 2010 | 10 | 2010 |
Every world can see a Sahlqvist world P Balbiani, IB Shapirovsky, VB Shehtman 6th Conference on Advances in Modal Logic (AiML 2006), 69--85, 2006 | 10 | 2006 |
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. S Kikot, I Shapirovsky, E Zolin AiML, 369-388, 2020 | 8 | 2020 |
Products of modal logics and tensor products of modal algebras D Gabbay, I Shapirovsky, V Shehtman Journal of Applied Logic 12 (4), 570-583, 2014 | 8 | 2014 |
On modal logics of model-theoretic relations DI Saveliev, IB Shapirovsky Studia Logica 108 (5), 989-1017, 2020 | 6 | 2020 |
Partitioning Kripke frames of finite height AV Kudinov, IB Shapirovsky Izvestiya: Mathematics 81 (3), 592, 2017 | 6 | 2017 |
Finite model property of pretransitive analogs of S5 A Kudinov, I Shapirovsky Topology, algebra and categories in logic (TACL 2011), 261-264, 2011 | 6 | 2011 |
Truth-Preserving Operations on Sums of Kripke Frames. I Shapirovsky, G Bezhanishvili, G D’Agostino, G Metcalfe, T Studer Advances in Modal Logic 12, 541-558, 2018 | 4 | 2018 |
On modal logics of Hamming spaces A Kudinov, I Shapirovsky, V Shehtman | 4 | 2012 |
Some examples of modal logics without a finite axiomatisation A Kudinov, I Shapirovsky Proceedings of the conference on Information Technologies and Systems, 258-262, 2010 | 4 | 2010 |
Satisfiability problems on sums of Kripke frames I Shapirovsky ACM Transactions on Computational Logic (TOCL) 23 (3), 1-25, 2022 | 3 | 2022 |
Downward-directed transitive frames with universal relations. I Shapirovsky Advances in Modal Logic 6, 413-428, 2006 | 3 | 2006 |
Complete axiomatizations of lexicographic sums and products of modal logics P Balbiani, I Shapirovsky This volume contains the abstracts of the talks presented at TACL 2015 …, 2015 | 2 | 2015 |
Modal logics of closed domains on Minkowski plane★ I Shapirovsky Journal of Applied Non-Classical Logics 17 (3), 397-414, 2007 | 2 | 2007 |