×

Shapirovsky, Ilya B.

Author ID: shapirovsky.ilya-b Recent zbMATH articles by "Shapirovsky, Ilya B."
Published as: Shapirovsky, Ilya; Shapirovsky, Ilya B.; Shapirovsky, I. B.; Shapirovsky, I.

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 60 times in 46 Documents Cited by Year
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
15
2003
PSPACE-decidability of Japaridze’s polymodal logic. Zbl 1244.03073
Shapirovsky, Ilya
11
2008
Modal logics of regions and Minkowski spacetime. Zbl 1084.03016
Shapirovsky, Ilya; Shehtman, Valentin
7
2005
On PSPACE-decidability in transitive modal logics. Zbl 1102.03020
Shapirovsky, I.
6
2005
Every world can see a Sahlqvist world. Zbl 1151.03011
Balbiani, P.; Shapirovsky, I.; Shethman, V.
5
2006
Filtration safe operations on frames. Zbl 1385.03020
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny
4
2014
On modal logics of model-theoretic relations. Zbl 1473.03011
Saveliev, Denis I.; Shapirovsky, Ilya B.
2
2020
Modal logics with transitive closure: completeness, decidability, filtration. Zbl 1535.03117
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny
2
2020
Truth-preserving operations on sums of Kripke frames. Zbl 1418.03101
Shapirovsky, Ilya
1
2018
Partitioning Kripke frames of finite height. Zbl 1371.03025
Kudinov, Andrey V.; Shapirovsky, Ilya B.
1
2017
On modal logics of Hamming spaces. Zbl 1291.03036
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin
1
2012
Simulation of two dimensions in unimodal logics. Zbl 1254.03018
Shapirovsky, Ilya
1
2010
Local tabularity without transitivity. Zbl 1400.03051
Shapirovsky, Ilya; Shehtman, Valentin
1
2016
Downward-directed transitive frames with universal relations. Zbl 1148.03021
Shapirovsky, Ilya
1
2006
On modal logics of model-theoretic relations. Zbl 1473.03011
Saveliev, Denis I.; Shapirovsky, Ilya B.
2
2020
Modal logics with transitive closure: completeness, decidability, filtration. Zbl 1535.03117
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny
2
2020
Truth-preserving operations on sums of Kripke frames. Zbl 1418.03101
Shapirovsky, Ilya
1
2018
Partitioning Kripke frames of finite height. Zbl 1371.03025
Kudinov, Andrey V.; Shapirovsky, Ilya B.
1
2017
Local tabularity without transitivity. Zbl 1400.03051
Shapirovsky, Ilya; Shehtman, Valentin
1
2016
Filtration safe operations on frames. Zbl 1385.03020
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny
4
2014
On modal logics of Hamming spaces. Zbl 1291.03036
Kudinov, Andrey; Shapirovsky, Ilya; Shehtman, Valentin
1
2012
Simulation of two dimensions in unimodal logics. Zbl 1254.03018
Shapirovsky, Ilya
1
2010
PSPACE-decidability of Japaridze’s polymodal logic. Zbl 1244.03073
Shapirovsky, Ilya
11
2008
Every world can see a Sahlqvist world. Zbl 1151.03011
Balbiani, P.; Shapirovsky, I.; Shethman, V.
5
2006
Downward-directed transitive frames with universal relations. Zbl 1148.03021
Shapirovsky, Ilya
1
2006
Modal logics of regions and Minkowski spacetime. Zbl 1084.03016
Shapirovsky, Ilya; Shehtman, Valentin
7
2005
On PSPACE-decidability in transitive modal logics. Zbl 1102.03020
Shapirovsky, I.
6
2005
Chronological future modality in Minkowski spacetime. Zbl 1082.03016
Shapirovsky, Ilya; Shehtman, Valentin
15
2003

Citations by Year