| Publication | Date of Publication | Type |
|---|
| Pour-El's landscape | 2025-01-24 | Paper |
| On collection schemes and Gaifman's splitting theorem | 2025-01-09 | Paper |
| The provability logic of all provability predicates | 2024-11-12 | Paper |
| The persistence principle over weak interpretability logic | 2024-06-25 | Paper |
| Prenex normalization and the hierarchical classification of formulas | 2024-04-16 | Paper |
| DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC | 2024-04-04 | Paper |
| The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} | 2024-01-18 | Paper |
| CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC | 2023-12-22 | Paper |
| Interpolation properties for the bimodal provability logic $\mathbf{GR}$ | 2023-11-17 | Paper |
| The Modal Logic of Provability and Forcing | 2023-11-01 | Paper |
| Some observations on the FGH theorem | 2023-10-26 | Paper |
| Cut-free sequent calculi for the provability logic D | 2023-10-25 | Paper |
| Pour-El's Landscape | 2023-10-07 | Paper |
| Refining the arithmetical hierarchy of classical principles | 2023-09-12 | Paper |
| Modal completeness of sublogics of the interpretability logic IL | 2023-09-12 | Paper |
| Certified $\Sigma_1$-sentences | 2023-06-22 | Paper |
| On the conservation results for local reflection principles | 2023-06-12 | Paper |
| The finite frame property of some extensions of the pure logic of necessitation | 2023-05-24 | Paper |
| Arithmetical completeness theorems for monotonic modal logics | 2023-05-19 | Paper |
| Incompleteness and undecidability of theories consistent with $\mathsf{R}$ | 2022-11-28 | Paper |
| Simplified Veltman frames for sublogics of $\mathbf{IL}$ | 2022-11-28 | Paper |
| Rosser provability and the second incompleteness theorem | 2022-11-11 | Paper |
| The provability logic of all provability predicates | 2022-08-06 | Paper |
| Effectively constructible fixed points in Sacchetti's modal logics of provability | 2022-05-06 | Paper |
| On Guaspari's problem about partially conservative sentences | 2022-04-01 | Paper |
| On inclusions between quantified provability logics | 2022-03-15 | Paper |
| The persistence principle over weak interpretability logic | 2022-03-04 | Paper |
| PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC | 2021-12-09 | Paper |
| Topological semantics of conservativity and interpretability logics | 2021-11-09 | Paper |
| A NOTE ON DERIVABILITY CONDITIONS | 2021-03-19 | Paper |
| On inclusions between quantified provability logics | 2021-01-09 | Paper |
| Prenex normal form theorems in semi-classical arithmetic | 2020-09-07 | Paper |
| Uniform Lyndon interpolation property in propositional modal logics | 2020-07-17 | Paper |
| Rosser provability and normal modal logics | 2020-06-09 | Paper |
| On Guaspari's problem about partially conservative sentences | 2019-09-06 | Paper |
| Fixed-point properties for predicate modal logics | 2019-06-29 | Paper |
| Rosser provability and the second incompleteness theorem | 2019-02-18 | Paper |
| On partial disjunction properties of theories containing Peano arithmetic | 2019-01-14 | Paper |
| Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations | 2018-12-21 | Paper |
| Effectively constructible fixed points in Sacchetti's modal logics of provability | 2018-11-30 | Paper |
| On arithmetical completeness of the logic of proofs | 2018-11-29 | Paper |
| PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC | 2018-10-26 | Paper |
| Arithmetical completeness theorem for modal logic \(\mathsf{K}\) | 2018-04-16 | Paper |
| GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC | 2018-01-17 | Paper |
| UNIVERSAL ROSSER PREDICATES | 2017-06-01 | Paper |
| ILLUSORY MODELS OF PEANO ARITHMETIC | 2017-04-28 | Paper |
| Liar-type paradoxes and the incompleteness phenomena | 2016-09-15 | Paper |
| Henkin sentences and local reflection principles for Rosser provability | 2015-11-18 | Paper |
| Rosser-type undecidable sentences based on Yablo's paradox | 2014-12-18 | Paper |
| On predicate provability logics and binumerations of fragments of Peano arithmetic | 2013-11-06 | Paper |
| ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY | 2013-04-24 | Paper |
| On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos | 2012-09-12 | Paper |
| On collection schemes and Gaifman's splitting theorem | N/A | Paper |
