| Publication | Date of Publication | Type |
|---|
| Marat Mirzaevich Arslanov (on his eightieth birthday) | 2024-11-15 | Paper |
| Axiomatizing origami planes | 2024-10-01 | Paper |
| Gregory Samuilovich Tseytin (obituary) | 2024-01-25 | Paper |
| Conservativity spectra and Joosten-Fernández model | 2022-09-29 | Paper |
| A many-sorted variant of Japaridze's polymodal provability logic | 2022-08-10 | Paper |
| Reflection algebras and conservation results for theories of iterated truth | 2022-04-01 | Paper |
| Conservativity spectra and generalized Ignatiev model | 2022-03-16 | Paper |
| Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian | 2021-06-04 | Paper |
| Sergei Ivanovich Adian | 2021-06-04 | Paper |
| Axiomatizing Origami planes | 2020-12-06 | Paper |
| Yurii Leonidovich Ershov (on his 80th birthday) | 2020-09-04 | Paper |
| Mikhail Ivanovich Shtogrin | 2020-05-29 | Paper |
| AXIOMATIZATION OF PROVABLE n-PROVABILITY | 2020-04-06 | Paper |
| Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) | 2020-03-11 | Paper |
| A note on strictly positive logics and word rewriting systems | 2020-02-05 | Paper |
| Reflection algebras and conservation results for theories of iterated truth | 2019-08-27 | Paper |
| Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics | 2019-07-24 | Paper |
| Reflection calculus and conservativity spectra | 2019-05-23 | Paper |
| Axiomatizing provable \(n\)-provability | 2019-03-15 | Paper |
| Proof theoretic analysis by iterated reflection | 2018-04-18 | Paper |
| A universal Kripke frame for the variable-free fragment of RC$^\nabla$ | 2018-04-08 | Paper |
| A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\) | 2018-04-06 | Paper |
| On the reflection calculus with partial conservativity operators | 2017-12-20 | Paper |
| On the reduction property for GLP-algebras | 2017-06-15 | Paper |
| Franco Montagna's work on provability logic and many-valued logic | 2016-06-28 | Paper |
| On some slowly terminating term rewriting systems | 2016-02-01 | Paper |
| Topological completeness of the provability logic GLP | 2015-08-27 | Paper |
| Topological interpretations of provability logic | 2015-06-19 | Paper |
| On provability logics with linearly ordered modalities | 2014-09-26 | Paper |
| A simplified proof of arithmetical completeness theorem for provability logic GLP | 2014-08-04 | Paper |
| Calibrating provability logic: from modal logic to reflection calculus | 2014-06-11 | Paper |
| Propositional primal logic with disjunction | 2014-04-01 | Paper |
| Positive provability logic for uniform reflection principles | 2014-01-13 | Paper |
| Foreword to the special issue dedicated to the memory of Leo Esakia | 2012-10-01 | Paper |
| Kripke semantics for provability logic GLP | 2011-08-26 | Paper |
| Ordinal completeness of bimodal provability logic GLB | 2011-07-29 | Paper |
| Sergei Ivanovich Adian (on his eightieth birthday) | 2011-06-17 | Paper |
| On the Craig interpolation and the fixed point properties for GLP | 2011-05-31 | Paper |
| Gödel incompleteness theorems and the limits of their applicability. I | 2011-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081639 | 2011-03-09 | Paper |
| Sergei Ivanovich Adian (on his 75th birthday) | 2007-08-06 | Paper |
| The worm principle | 2006-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483298 | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477944 | 2006-06-29 | Paper |
| Reflection principles and provability algebras in formal arithmetic | 2006-02-21 | Paper |
| A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic | 2005-10-18 | Paper |
| On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681891 | 2005-06-08 | Paper |
| Provability algebras and proof-theoretic ordinals. I | 2004-08-16 | Paper |
| On the induction schema for decidable predicates | 2004-03-25 | Paper |
| Proof-theoretic analysis by iterated reflection | 2003-09-16 | Paper |
| On the query complexity of finding a local maximum point. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944903 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945240 | 2000-08-23 | Paper |
| Parameter free induction and provably total computable functions | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263489 | 1999-11-21 | Paper |
| A proof-theoretic analysis of collection | 1999-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4245751 | 1999-06-09 | Paper |
| Induction rules, reflection principles, and provably recursive functions | 1998-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364507 | 1997-11-17 | Paper |
| Bimodal logics for extensions of arithmetical theories | 1997-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896518 | 1997-02-09 | Paper |
| Iterated local reflection versus iterated consistency | 1996-10-27 | Paper |
| On the complexity of arithmetical interpretations of modal formulae | 1994-12-12 | Paper |
| On bimodal logics of provability | 1994-10-13 | Paper |
| On propositional quantifiers in provability logic | 1994-04-21 | Paper |
| Independent numerations of theories and recursive progressions | 1993-03-28 | Paper |
| Independent numerations of theories and of recursive progressions | 1992-01-01 | Paper |
| Provability logics for natural Turing progressions of arithmetical theories | 1991-01-01 | Paper |
| ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS | 1990-01-01 | Paper |
| Provability logic without Craig's interpolation property | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3827991 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786477 | 1987-01-01 | Paper |
| Normalization of deductions and interpolation for some logics of provability | 1987-01-01 | Paper |
| On the unification problem for GLP | N/A | Paper |
