Ilya Shapirovsky

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 11

Top Topics

Satisfiability Problem

Decision Procedures

Transitive Closure

Automata Theoretic

Top Venues

Advances in Modal Logic

Publications

Daniel Rogozin, Ilya Shapirovsky
On Decidable Extensions of Propositional Dynamic Logic with Converse. FLAP 10 (4) (2023)
Ilya Shapirovsky
Decidability of Modal Logics of Non-k-Colorable Graphs. WoLLIC (2023)
Ilya Shapirovsky
Decidability of modal logics of non-k-colorable graphs. CoRR (2023)
Daniel Rogozin, Ilya Shapirovsky
On decidable extensions of Propositional Dynamic Logic with Converse. CoRR (2023)
Ilya Shapirovsky
Satisfiability Problems on Sums of Kripke Frames. ACM Trans. Comput. Log. 23 (3) (2022)
Denis I. Saveliev, Ilya Shapirovsky
Medvedev's logic and products of converse well orders. AiML (2022)
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. AiML (2020)
Denis I. Saveliev, Ilya Shapirovsky
On Modal Logics of Model-Theoretic Relations. Stud Logica 108 (5) (2020)
Ilya Shapirovsky
Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. WoLLIC (2019)
Ilya Shapirovsky
Truth-Preserving Operations on Sums of Kripke Frames. Advances in Modal Logic (2018)
Ilya Shapirovsky, Valentin B. Shehtman
Local tabularity without transitivity. Advances in Modal Logic (2016)
Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman
Products of modal logics and tensor products of modal algebras. J. Appl. Log. 12 (4) (2014)
Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin
Filtration Safe Operations on Frames. Advances in Modal Logic (2014)
Ilya Shapirovsky, Valentin B. Shehtman
Tensor products of modal logics. TACL (2013)
Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman
On Modal Logics of Hamming Spaces. Advances in Modal Logic (2012)
Ilya Shapirovsky
Simulation of Two Dimensions in Unimodal Logics. Advances in Modal Logic (2010)
Ilya Shapirovsky
PSPACE-decidability of Japaridze's polymodal logic. Advances in Modal Logic (2008)
Ilya Shapirovsky
Modal logics of closed domains on Minkowski plane. J. Appl. Non Class. Logics 17 (3) (2007)
Ilya Shapirovsky
Modal logics of some geometrical structures. Probl. Inf. Transm. 43 (3) (2007)
Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman
Every world can see a Sahlqvist world. Advances in Modal Logic (2006)
Ilya Shapirovsky
Downward-directed transitive frames with universal relations. Advances in Modal Logic (2006)
Ilya Shapirovsky, Valentin B. Shehtman
Modal Logics of Regions and Minkowski Spacetime. J. Log. Comput. 15 (4) (2005)
Ilya Shapirovsky
On PSPACE-decidability in Transitive Modal Logic. Advances in Modal Logic (2004)
Ilya Shapirovsky, Valentin B. Shehtman
Chronological Future Modality in Minkowski Spacetime. Advances in Modal Logic (2002)