| Publication | Date of Publication | Type |
|---|
| Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness | 2024-11-15 | Paper |
| Complexity function and complexity of validity of modal and superintuitionistic propositional logics | 2024-02-08 | Paper |
| A simple example of blocking the Craig trick | 2024-01-23 | Paper |
| Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? | 2023-09-20 | Paper |
| Algorithmic properties of QK4.3 and QS4.3 | 2023-07-06 | Paper |
| Kripke trick and decidability of monadic fragments of modal and superintuitionistic logics | 2023-07-06 | Paper |
| On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics | 2023-06-27 | Paper |
| Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames | 2023-06-23 | Paper |
| Tiling problems and complexity of logics (extended version) | 2023-06-23 | Paper |
| Undecidability of QLTL and QCTL with two variables and one monadic predicate letter | 2023-01-16 | Paper |
| Complexity of the variable-free fragment of the weak Grzegorczyk logic | 2022-11-26 | Paper |
| Complexity of finite-variable fragments of products with non-transitive modal logics | 2022-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104724 | 2022-09-15 | Paper |
| Complexity and expressivity of propositional dynamic logics with finitely many variables | 2022-08-10 | Paper |
| Undecidability of the Logic of Partial Quasiary Predicates | 2022-07-22 | Paper |
| Complexity of finite-variable fragments of propositional temporal and modal logics of computation | 2022-06-24 | Paper |
| Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter | 2022-03-23 | Paper |
| Computational complexity of one-variable fragments of products with T | 2021-12-07 | Paper |
| Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages | 2021-09-22 | Paper |
| Complexity of finite-variable fragments of products with K | 2021-04-09 | Paper |
| Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages | 2021-04-09 | Paper |
| Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages | 2020-12-15 | Paper |
| Recursive enumerability and elementary frame definability in predicate modal logic | 2020-06-04 | Paper |
| Complexity of finite-variable fragments of propositional modal logics of symmetric frames | 2019-11-04 | Paper |
| Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter | 2019-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224585 | 2019-07-24 | Paper |
| Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables | 2018-11-23 | Paper |
| Неразрешимость модальных логик одноместного предиката | 2018-06-14 | Paper |
| Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter | 2017-06-15 | Paper |
| Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics | 2016-04-27 | Paper |
| First-order logics of braching time: on expressive power of temporal operators | 2013-10-23 | Paper |
| Complexity of finite-variable fragments of EXPTIME-complete logics | 2009-11-30 | Paper |
| Complexity of intuitionistic propositional logic and its fragments | 2009-11-11 | Paper |
| Continuum classes of logics | 2008-11-10 | Paper |
| Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692811 | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465436 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4467744 | 2004-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424651 | 2004-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789048 | 2003-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789155 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440791 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440792 | 2002-01-01 | Paper |
