Follow
Ilya Shapirovsky
Ilya Shapirovsky
Other namesIlya Shapirovskiy
Verified email at nmsu.edu
Title
Cited by
Cited by
Year
Chronological future modality in Minkowski spacetime
I Shapirovsky, V Shehtman
512003
PSPACE-decidability of Japaridze's polymodal logic.
I Shapirovsky
Advances in modal logic 7, 289-304, 2008
352008
On PSPACE-decidability in Transitive Modal Logic.
I Shapirovsky
Advances in Modal Logic 5, 269-287, 2004
302004
Modal logics of regions and Minkowski spacetime
I Shapirovsky, V Shehtman
Journal of Logic and Computation 15 (4), 559-574, 2005
262005
Local tabularity without transitivity.
I Shapirovsky, VB Shehtman
Advances in Modal Logic 11, 520-534, 2016
112016
Filtration safe operations on frames
S Kikot, I Shapirovsky, E Zolin
Advances in modal logic 10, 333-352, 2014
112014
Simulation of Two Dimensions in Unimodal Logics.
I Shapirovsky
Advances in modal logic 8, 371-391, 2010
102010
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
102006
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.
S Kikot, I Shapirovsky, E Zolin
AiML, 369-388, 2020
82020
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
72014
On modal logics of model-theoretic relations
DI Saveliev, IB Shapirovsky
Studia Logica 108 (5), 989-1017, 2020
62020
Partitioning Kripke frames of finite height
AV Kudinov, IB Shapirovsky
Izvestiya: Mathematics 81 (3), 592, 2017
62017
Finite model property of pretransitive analogs of S5
A Kudinov, I Shapirovsky
Topology, algebra and categories in logic (TACL 2011), 261-264, 2011
62011
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
42018
On modal logics of Hamming spaces
A Kudinov, I Shapirovsky, V Shehtman
42012
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
42010
Satisfiability problems on sums of Kripke frames
I Shapirovsky
ACM Transactions on Computational Logic (TOCL) 23 (3), 1-25, 2022
32022
Downward-directed transitive frames with universal relations.
I Shapirovsky
Advances in Modal Logic 6, 413-428, 2006
32006
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
22015
Modal logics of closed domains on Minkowski plane★
I Shapirovsky
Journal of Applied Non-Classical Logics 17 (3), 397-414, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–20