Ilya Shapirovsky

Available identifiers

zbMath Open shapirovsky.ilya-bMaRDI QIDQ831222

List of research outcomes

Publication	Date of Publication	Type
Decidability of modal logics of non-\(k\)-colorable graphs	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q6171324	2023-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5884973	2023-03-24	Paper
Sufficient conditions for local tabularity of a polymodal logic	2022-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5039163	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5104715	2022-09-15	Paper
On modal logics of model-theoretic relations	2021-05-11	Paper
Satisfiability problems on sums of Kripke frames	2020-12-30	Paper
Completeness of logics with the transitive closure modality and related logics	2020-11-04	Paper
Modal logics of finite direct powers of \(\omega\) have the finite model property	2020-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q5224586	2019-07-24	Paper
Modal logics of finite direct powers of $\omega$ have the finite model property	2019-03-11	Paper
Glivenko's theorem, finite height, and local tabularity	2018-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4636053	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636301	2018-04-23	Paper
Partitioning Kripke frames of finite height	2017-08-24	Paper
Finite model property of modal logics of finite depth	2016-06-30	Paper
Products of modal logics and tensor products of modal algebras	2014-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q5419891	2014-06-11	Paper
Simulation of two dimensions in unimodal logics	2012-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3085172	2011-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3647279	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3509046	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q3509065	2008-07-01	Paper
Modal logics of some geometrical structures	2008-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5483013	2006-08-15	Paper
Modal Logics of Regions and Minkowski Spacetime	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5311049	2005-08-22	Paper
Filtrations for $\mathbb{wK4}$ and its relatives	N/A	Paper
Locally tabular products of modal logics	N/A	Paper

Research outcomes over time

This page was built for person: Ilya Shapirovsky