Ilya Shapirovsky

According to our database, Ilya Shapirovsky authored at least 23 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On Decidable Extensions of Propositional Dynamic Logic with Converse.

Daniel Rogozin, Ilya Shapirovsky

FLAP, 2023

Decidability of Modal Logics of Non-k-Colorable Graphs.

Ilya Shapirovsky

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Satisfiability Problems on Sums of Kripke Frames.

Ilya Shapirovsky

ACM Trans. Comput. Log., 2022

Medvedev's logic and products of converse well orders.

Denis I. Saveliev, Ilya Shapirovsky

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Glivenko's Theorem, Finite Height, and Local Tabularity.

Ilya B. Shapirovsky

FLAP, 2021

2020

On Modal Logics of Model-Theoretic Relations.

Denis I. Saveliev, Ilya Shapirovsky

Stud Logica, 2020

Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property.

Ilya Shapirovsky

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Truth-Preserving Operations on Sums of Kripke Frames.

Ilya Shapirovsky

Proceedings of the Advances in Modal Logic 12, 2018

2016

Local tabularity without transitivity.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 11, 2016

2014

Products of modal logics and tensor products of modal algebras.

Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman

J. Appl. Log., 2014

Filtration Safe Operations on Frames.

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin

Proceedings of the Advances in Modal Logic 10, 2014

2013

Tensor products of modal logics.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

On Modal Logics of Hamming Spaces.

Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 9, 2012

2010

Simulation of Two Dimensions in Unimodal Logics.

Ilya Shapirovsky

Proceedings of the Advances in Modal Logic 8, 2010

2008

PSPACE-decidability of Japaridze's polymodal logic.

Ilya Shapirovsky

Proceedings of the Advances in Modal Logic 7, 2008

2007

Modal logics of some geometrical structures.

Ilya Shapirovsky

Probl. Inf. Transm., 2007

Modal logics of closed domains on Minkowski plane.

Ilya Shapirovsky

J. Appl. Non Class. Logics, 2007

2006

Downward-directed transitive frames with universal relations.

Ilya Shapirovsky

Proceedings of the Advances in Modal Logic 6, 2006

Every world can see a Sahlqvist world.

Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 6, 2006

2005

Modal Logics of Regions and Minkowski Spacetime.

Ilya Shapirovsky, Valentin B. Shehtman

J. Log. Comput., 2005

2004

On PSPACE-decidability in Transitive Modal Logic.

Ilya Shapirovsky

Proceedings of the Advances in Modal Logic 5, 2004

2002

Chronological Future Modality in Minkowski Spacetime.

Ilya Shapirovsky, Valentin B. Shehtman

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002