| Publication | Date of Publication | Type |
|---|
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 |
scientific article; zbMATH DE number 7585731 (Why is no real title available?)
| 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 K
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
| 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
| 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 |
