| Publication | Date of Publication | Type |
|---|
Decidability of modal logics of non-\(k\)-colorable graphs
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
| scientific article; zbMATH DE number 7713505 (Why is no real title available?) | 2023-07-18 | Paper |
scientific article; zbMATH DE number 7713505 (Why is no real title available?)
(available as arXiv preprint) | 2023-07-18 | Paper |
| Medvedev's logic and products of converse well orders | 2023-03-24 | Paper |
| Sufficient conditions for local tabularity of a polymodal logic | 2022-12-14 | Paper |
Glivenko's theorem, finite height, and local tabularity
(available as arXiv preprint) | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7585723 (Why is no real title available?) | 2022-09-15 | Paper |
On modal logics of model-theoretic relations
Studia Logica | 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
(available as arXiv preprint) | 2020-03-04 | Paper |
| Truth-preserving operations on sums of Kripke frames | 2019-07-24 | Paper |
Modal logics of finite direct powers of $\omega$ have the finite model property
(available as arXiv preprint) | 2019-03-11 | Paper |
Glivenko's theorem, finite height, and local tabularity
(available as arXiv preprint) | 2018-06-18 | Paper |
| Local tabularity without transitivity | 2018-04-23 | Paper |
| Filtration safe operations on frames | 2018-04-23 | Paper |
Partitioning Kripke frames of finite height
Izvestiya: Mathematics | 2017-08-24 | Paper |
Finite model property of modal logics of finite depth
Russian Mathematical Surveys | 2016-06-30 | Paper |
Products of modal logics and tensor products of modal algebras
Journal of Applied Logic | 2014-11-20 | Paper |
| On modal logics of Hamming spaces | 2014-06-11 | Paper |
| Simulation of two dimensions in unimodal logics | 2012-08-05 | Paper |
| PSPACE-decidability of Japaridze's polymodal logic | 2011-03-30 | Paper |
| scientific article; zbMATH DE number 5640557 (Why is no real title available?) | 2009-11-30 | Paper |
| Every world can see a Sahlqvist world | 2008-07-01 | Paper |
| Downward-directed transitive frames with universal relations | 2008-07-01 | Paper |
Modal logics of some geometrical structures
Problems of Information Transmission | 2008-06-09 | Paper |
| scientific article; zbMATH DE number 5046366 (Why is no real title available?) | 2006-08-15 | Paper |
Modal Logics of Regions and Minkowski Spacetime
Journal Of Logic And Computation | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2196602 (Why is no real title available?) | 2005-08-22 | Paper |
Filtrations for $\mathbb{wK4}$ and its relatives
(available as arXiv preprint) | N/A | Paper |
Locally tabular products of modal logics
(available as arXiv preprint) | N/A | Paper |
