Ilya Shapirovsky
Ilya Shapirovsky
Verified email at iitp.ru
TitleCited byYear
Chronological future modality in Minkowski spacetime
I Shapirovsky, V Shehtman
462003
Modal logics of regions and Minkowski spacetime
I Shapirovsky, V Shehtman
Journal of Logic and Computation 15 (4), 559-574, 2005
252005
PSPACE-decidability of Japaridze's polymodal logic.
I Shapirovsky
Advances in Modal Logic 7, 289-304, 2008
242008
On PSPACE-decidability in Transitive Modal Logic.
I Shapirovsky
Advances in Modal Logic 5, 269-287, 2004
242004
Every world can see a Sahlqvist world.
P Balbiani, I Shapirovsky, VB Shehtman
Advances in Modal Logic 6, 69-85, 2006
92006
Simulation of Two Dimensions in Unimodal Logics.
I Shapirovsky
Advances in Modal Logic 8, 371-391, 2010
72010
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
62014
Filtration Safe Operations on Frames.
S Kikot, I Shapirovsky, E Zolin
Advances in modal logic 10, 333-352, 2014
62014
Finite model property of pretransitive analogs of S5
A Kudinov, I Shapirovsky
Topology, algebra and categories in logic (TACL 2011), 261-264, 2011
52011
On modal logics of Hamming spaces
A Kudinov, I Shapirovsky, V Shehtman
42012
Partitioning Kripke frames of finite height
AV Kudinov, IB Shapirovsky
Izvestiya: Mathematics 81 (3), 592, 2017
32017
Local tabularity without transitivity.
I Shapirovsky, VB Shehtman
Advances in Modal Logic 11, 520-534, 2016
32016
Modal logics of closed domains on Minkowski plane★
I Shapirovsky
Journal of Applied Non-Classical Logics 17 (3), 397-414, 2007
22007
Downward-directed transitive frames with universal relations.
I Shapirovsky
Advances in Modal Logic 6, 413-428, 2006
22006
On modal logics of model-theoretic relations
DI Saveliev, IB Shapirovsky
arXiv preprint arXiv:1804.09810, 2018
12018
Finite model property of modal logics of finite depth
AV Kudinov, IB Shapirovsky
Russian Mathematical Surveys 71 (1), 164-166, 2016
12016
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
12015
PSPACE decision procedure for some transitive modal logics
I Shapirovsky
AiML-2004: Advances in Modal Logic, 331, 2004
12004
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
The system can't perform the operation now. Try again later.
Articles 1–20