| Publication | Date of Publication | Type |
|---|
Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
Journal of Logic and Computation | 2026-09-01 | Paper |
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
Annals of Pure and Applied Logic | 2026-07-28 | Paper |
Polytime embedding of intuitionistic modal logics into their one-variable fragments
Journal of Logic and Computation | 2025-10-29 | Paper |
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Journal of Logic and Computation | 2025-10-15 | Paper |
| On the system of positive slices in the structure of superintuitionistic predicate logics | 2025-06-26 | Paper |
Variations on the Kripke trick
Studia Logica | 2025-02-17 | Paper |
Predicate counterparts of modal logics of provability: high undecidability and Kripke incompleteness
Logic Journal of the IGPL | 2024-11-15 | Paper |
Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Journal Of Logic And Computation | 2024-02-08 | Paper |
A simple example of blocking the Craig trick
Logical Investigations | 2024-01-23 | Paper |
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
Logical Investigations | 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
Logical Investigations | 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
Journal Of Logic And Computation | 2022-09-22 | Paper |
| Algorithmic properties of first-order modal logics of the natural number line in restricted languages | 2022-09-15 | Paper |
Complexity and expressivity of propositional dynamic logics with finitely many variables
Logic Journal of the IGPL | 2022-08-10 | Paper |
Undecidability of the Logic of Partial Quasiary Predicates
Logic Journal of the IGPL | 2022-07-22 | Paper |
Complexity of finite-variable fragments of propositional temporal and modal logics of computation
Theoretical Computer Science | 2022-06-24 | Paper |
Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter''
Studia Logica | 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
Journal Of Logic And Computation | 2021-09-22 | Paper |
Complexity of finite-variable fragments of products with <b>K</b>
Journal Of Logic And Computation | 2021-04-09 | Paper |
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
Journal Of Logic And Computation | 2021-04-09 | Paper |
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
Journal Of Logic And Computation | 2020-12-15 | Paper |
Recursive enumerability and elementary frame definability in predicate modal logic
Journal Of Logic And Computation | 2020-06-04 | Paper |
Complexity of finite-variable fragments of propositional modal logics of symmetric frames
Logic Journal of the IGPL | 2019-11-04 | Paper |
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Studia Logica | 2019-09-03 | Paper |
| A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames | 2019-07-24 | Paper |
Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables
(available as arXiv preprint) | 2018-11-23 | Paper |
Undecidability of modal logics of unary predicate
Logical Investigations | 2018-06-14 | Paper |
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
(available as arXiv preprint) | 2017-06-15 | Paper |
Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics
Logicheskie Issledovaniya | 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
Journal of Applied Non-Classical Logics | 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 |
| scientific article; zbMATH DE number 2209833 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2196586 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2072508 (Why is no real title available?) | 2004-06-10 | Paper |
| scientific article; zbMATH DE number 1975408 (Why is no real title available?) | 2004-02-25 | Paper |
| scientific article; zbMATH DE number 1858071 (Why is no real title available?) | 2003-07-02 | Paper |
| scientific article; zbMATH DE number 1859179 (Why is no real title available?) | 2003-06-17 | Paper |
| scientific article; zbMATH DE number 2020142 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 2020143 (Why is no real title available?) | 2002-01-01 | Paper |
