Ilya Shapirovsky

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