| Publication | Date of Publication | Type |
|---|
| Craig's interpolation property in pretabular logics | 2024-03-27 | Paper |
| Algorithms for recognizing restricted interpolation over the modal logic S4 | 2022-04-08 | Paper |
| Hybrid extensions of the minimal logic | 2021-09-27 | Paper |
| Perceptibility in pre-Heyting logics | 2020-09-24 | Paper |
| LC and Its Pretabular Relatives | 2020-08-07 | Paper |
| Constructive classifications of modal logics and extensions of minimal logic | 2020-08-03 | Paper |
| A Short Scientific Autobiography | 2020-02-05 | Paper |
| The interpolation problem in finite-layered pre-Heyting logics | 2019-12-06 | Paper |
| Recognizability in pre-Heyting and well-composed logics | 2019-07-16 | Paper |
| Extensions of the minimal logic and the interpolation problem | 2018-11-13 | Paper |
| Slices and levels of extensions of the minimal logic | 2018-04-20 | Paper |
| Strong computability of slices over the logic GL | 2018-04-03 | Paper |
| Strong decidability and strong recognizability | 2018-03-02 | Paper |
| Recognizable and perceptible logics and varieties | 2018-02-06 | Paper |
| Calculi over minimal logic and nonembeddability of algebras | 2017-09-06 | Paper |
| Layers over minimal logic | 2017-07-18 | Paper |
| The tabularity problem over the minimal logic | 2017-03-16 | Paper |
| The structure of slices over minimal logic | 2017-02-15 | Paper |
| WIP-minimal logics and interpolation | 2016-07-28 | Paper |
| Negative equivalence over the minimal logic and interpolation | 2015-11-18 | Paper |
| Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) | 2015-11-16 | Paper |
| Recognizable logics | 2015-10-27 | Paper |
| Interpolation over the minimal logic and Odintsov intervals | 2015-09-28 | Paper |
| Restricted interpolation over modal logic S4 | 2015-05-08 | Paper |
| The Lyndon property and uniform interpolation over the Grzegorczyk logic | 2014-11-04 | Paper |
| Amalgamation, interpolation, and implicit definability in varieties of algebras | 2014-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419894 | 2014-06-11 | Paper |
| Classification of extensions of the modal logic S4 | 2014-02-21 | Paper |
| The projective Beth property in well-composed logics | 2013-11-27 | Paper |
| On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic | 2013-05-03 | Paper |
| The decidability of Craig's interpolation property in well-composed J-logics | 2013-01-31 | Paper |
| Decidability of the weak interpolation property over the minimal logic | 2012-12-17 | Paper |
| Interpolation and the projective Beth property in well-composed logics | 2012-12-11 | Paper |
| Restricted interpolation property in superintuitionistic logics | 2012-06-29 | Paper |
| Decidability of the interpolation problem and of related properties in tabular logics | 2012-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2885194 | 2012-05-21 | Paper |
| Interpolation and definability over the logic Gl | 2011-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012532 | 2011-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001102 | 2011-05-31 | Paper |
| Simple weakly transitive modal algebras | 2011-01-24 | Paper |
| Joint consistency in extensions of the minimal logic | 2010-11-15 | Paper |
| Problem of restricted interpolation in superintuitionistic and some modal logics | 2010-07-26 | Paper |
| A method of proving interpolation in paraconsistent extensions of the minimal logic | 2008-12-18 | Paper |
| A weak form of interpolation in equational logic | 2008-12-18 | Paper |
| The Beth property and interpolation in lattice-based algebras and logics | 2008-12-18 | Paper |
| Interpolation and implicit definability in extensions of the provability logic | 2008-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445167 | 2008-03-03 | Paper |
| Definability in Normal Extensions of S4 | 2007-07-26 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| The Projective Beth Property and Interpolation in Positive and Related Logics | 2007-06-18 | Paper |
| Interpolation and Definability in Extensions of the Minimal Logic | 2006-11-17 | Paper |
| Projective Beth property in extensions of Grzegorczyk logic | 2006-10-27 | Paper |
| Definability and interpolation in non-classical logics | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477357 | 2006-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465446 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022776 | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424644 | 2004-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451641 | 2004-02-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430408 | 2003-10-09 | Paper |
| Complexity of some problems in positive and related calculi | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4805733 | 2003-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532125 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440575 | 2002-01-01 | Paper |
| Complexity of interpolation and related problems in positive calculi | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2755143 | 2001-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709301 | 2001-07-24 | Paper |
| Intuitionistic logic and implicit definability | 2001-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2713994 | 2001-06-10 | Paper |
| Strongly decidable properties of modal and intuitionistic calculi | 2000-12-19 | Paper |
| Explicit definitions of implicitly definable objects in some modal logics | 2000-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249225 | 2000-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936636 | 2000-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268406 | 1999-10-28 | Paper |
| Temporal logics of “the next” do not have the beth property | 1999-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215598 | 1998-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866986 | 1996-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864748 | 1996-02-21 | Paper |
| On variable separation in modal and superintuitionistic logics | 1995-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4834481 | 1995-05-30 | Paper |
| Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation | 1994-04-12 | Paper |
| Temporal logics with ``the next operator do not have interpolation or the Beth property | 1993-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4696006 | 1993-06-29 | Paper |
| An analog of Beth's theorem in normal extensions of the modal logic K4 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026930 | 1993-02-21 | Paper |
| Amalgamation and interpolation in normal modal logics | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4006522 | 1992-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3363966 | 1992-01-01 | Paper |
| Interpolation in modal infinite slice logics containing the logic K4 | 1991-01-01 | Paper |
| Definability theorems in normal extensions of the provability logic | 1989-01-01 | Paper |
| Continuum of normal extensions of the modal logic of provability with the interpolation property | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197805 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729756 | 1988-01-01 | Paper |
| Interpolation in infinitely layered extensions of provability logic | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3784045 | 1987-01-01 | Paper |
| On maximal intermediate logics with the disjunction property | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3317076 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731581 | 1984-01-01 | Paper |
| Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331199 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671129 | 1982-01-01 | Paper |
| Interpolation theorems in modal logics. Sufficient conditions | 1981-01-01 | Paper |
| Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras | 1980-01-01 | Paper |
| A classification of modal logics | 1980-01-01 | Paper |
| Interpolation properties of superintuitionistic logics | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875897 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875898 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880811 | 1979-01-01 | Paper |
| Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras | 1978-01-01 | Paper |
| The principle of separation of variables in propositional logics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175531 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187817 | 1977-01-01 | Paper |
| Pretabular extensions of Lewis S4 | 1976-01-01 | Paper |
| Finite-level modal logics | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124817 | 1976-01-01 | Paper |
| Implication lattices | 1975-01-01 | Paper |
| A lattice of normal modal logics | 1975-01-01 | Paper |
| On tautologies in \(\omega^+\)-valued logic | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063113 | 1975-01-01 | Paper |
| Pretabular superintuitionistic logic | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053612 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053650 | 1974-01-01 | Paper |
| On interpretation and separation theorems for the logical systems E and R | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5682311 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5652649 | 1971-01-01 | Paper |
| E-theories | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5620578 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579474 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5598333 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5544268 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5564337 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628093 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557876 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5526956 | 1964-01-01 | Paper |
