Ilya Shapirovsky

Orcid: 0000-0001-7434-5894

According to our database1, Ilya Shapirovsky authored at least 24 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Locally tabular products of modal logics.
CoRR, 2024

2023
On Decidable Extensions of Propositional Dynamic Logic with Converse.
FLAP, 2023

Decidability of Modal Logics of Non-k-Colorable Graphs.
Proceedings of the Logic, Language, Information, and Computation, 2023

2022
Satisfiability Problems on Sums of Kripke Frames.
ACM Trans. Comput. Log., 2022

Medvedev's logic and products of converse well orders.
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

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

2020
On Modal Logics of Model-Theoretic Relations.
Stud Logica, 2020

Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.
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.
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Truth-Preserving Operations on Sums of Kripke Frames.
Proceedings of the Advances in Modal Logic 12, 2018

2016
Local tabularity without transitivity.
Proceedings of the Advances in Modal Logic 11, 2016

2014
Products of modal logics and tensor products of modal algebras.
J. Appl. Log., 2014

Filtration Safe Operations on Frames.
Proceedings of the Advances in Modal Logic 10, 2014

2013
Tensor products of modal logics.
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.
Proceedings of the Advances in Modal Logic 9, 2012

2010
Simulation of Two Dimensions in Unimodal Logics.
Proceedings of the Advances in Modal Logic 8, 2010

2008
PSPACE-decidability of Japaridze's polymodal logic.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Modal logics of some geometrical structures.
Probl. Inf. Transm., 2007

Modal logics of closed domains on Minkowski plane.
J. Appl. Non Class. Logics, 2007

2006
Downward-directed transitive frames with universal relations.
Proceedings of the Advances in Modal Logic 6, 2006

Every world can see a Sahlqvist world.
Proceedings of the Advances in Modal Logic 6, 2006

2005
Modal Logics of Regions and Minkowski Spacetime.
J. Log. Comput., 2005

2004
On PSPACE-decidability in Transitive Modal Logic.
Proceedings of the Advances in Modal Logic 5, 2004

2002
Chronological Future Modality in Minkowski Spacetime.
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


  Loading...