Chronological future modality in Minkowski spacetime I Shapirovsky, V Shehtman | 46 | 2003 |

PSPACE-decidability of Japaridze's polymodal logic. I Shapirovsky Advances in Modal Logic 7, 289-304, 2008 | 25 | 2008 |

Modal logics of regions and Minkowski spacetime I Shapirovsky, V Shehtman Journal of Logic and Computation 15 (4), 559-574, 2005 | 25 | 2005 |

On PSPACE-decidability in Transitive Modal Logic. I Shapirovsky Advances in Modal Logic 5, 269-287, 2004 | 24 | 2004 |

Every world can see a Sahlqvist world. P Balbiani, I Shapirovsky, VB Shehtman Advances in Modal Logic 6, 69-85, 2006 | 9 | 2006 |

Filtration Safe Operations on Frames. S Kikot, I Shapirovsky, E Zolin Advances in modal logic 10, 333-352, 2014 | 7 | 2014 |

Simulation of Two Dimensions in Unimodal Logics. I Shapirovsky Advances in Modal Logic 8, 371-391, 2010 | 7 | 2010 |

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 | 6 | 2014 |

Finite model property of pretransitive analogs of S5 A Kudinov, I Shapirovsky Topology, algebra and categories in logic (TACL 2011), 261-264, 2011 | 5 | 2011 |

On modal logics of Hamming spaces A Kudinov, I Shapirovsky, V Shehtman | 4 | 2012 |

Partitioning Kripke frames of finite height AV Kudinov, IB Shapirovsky Izvestiya: Mathematics 81 (3), 592, 2017 | 3 | 2017 |

Local tabularity without transitivity. I Shapirovsky, VB Shehtman Advances in Modal Logic 11, 520-534, 2016 | 3 | 2016 |

Downward-directed transitive frames with universal relations. I Shapirovsky Advances in Modal Logic 6, 413-428, 2006 | 3 | 2006 |

Modal logics of closed domains on Minkowski plane★ I Shapirovsky Journal of Applied Non-Classical Logics 17 (3), 397-414, 2007 | 2 | 2007 |

On modal logics of model-theoretic relations DI Saveliev, IB Shapirovsky arXiv preprint arXiv:1804.09810, 2018 | 1 | 2018 |

Finite model property of modal logics of finite depth AV Kudinov, IB Shapirovsky Russian Mathematical Surveys 71 (1), 164-166, 2016 | 1 | 2016 |

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 | 1 | 2015 |

PSPACE decision procedure for some transitive modal logics I Shapirovsky AiML-2004: Advances in Modal Logic, 331, 2004 | 1 | 2004 |

Modal Logics of Finite Direct Powers of Have the Finite Model Property I Shapirovsky International Workshop on Logic, Language, Information, and Computation, 610-618, 2019 | | 2019 |

Glivenko's theorem, finite height, and local finiteness IB Shapirovsky arXiv preprint arXiv:1806.06899, 2018 | | 2018 |