Ilya B. 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
https://portal.mardi4nfdi.de/entity/Q2904064	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	0001-01-03	Paper
Locally tabular products of modal logics	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ilya B. Shapirovsky