Journal Publications
(with R. Iemhoff), "Universal Proof Theory", TACL 2022 Lecture Notes, Coimbra Mathematical Texts, accepted, 2024. arXiv
(with A. Akbar Tabatabai), "Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics", Annals of Pure and Applied Logic (APAL), 2024. pdf arXiv Published
(with A. Akbar Tabatabai) "Universal Proof Theory: Semi-analytic Rules and Craig Interpolation", Annals of Pure and Applied Logic (APAL), 2024. Published arXiv
(with A. Akbar Tabatabai and R. Iemhoff) "Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics", Journal of Logic and Computation (Oxford Univ Press) – (Preliminary version in: WoLLIC 2021), 2024. arXiv Published
(with I. van der Giessen and R. Kuznets), "Uniform interpolation via nested sequents and hypersequents", Journal of Logic and Computation (Oxford Univ Press) – 31 pages (Preliminary version in: WoLLIC 2021), 2023. arXiv Published
"Proof complexity of substructural logics." Annals of Pure and Applied Logic (APAL) 172, no. 7 (2021): 102972. (31 pages) Published
Proceeding Publications
(with Stefan Hetzl) On the Completeness of Interpolation Algorithms, Logic in Computer Science (LICS) 2024. arXiv Published
(with I. van der Giessen and R. Kuznets), Extensions of K5: Proof Theory and Uniform Lyndon Interpolation, TABLEAUX 2023. (25 pages) arXiv Published
(with A. Akbar Tabatabai and R. Iemhoff), "Uniform Lyndon interpolation for intuitionistic non-normal modal logics", Advances in Modal Logic (AiML) 2022. (15 pages) arXiv Published
(with A. Akbar Tabatabai and R. Iemhoff) "Uniform Lyndon Interpolation for Basic Non-normal Modal Logics." In International Workshop on Logic, Language, Information, and Computation (WoLLIC), pp. 287-301. Springer, Cham, 2021. (15 pages) Published
(with I. van der Giessen and R. Kuznets) "Uniform Interpolation via Nested Sequents." In International Workshop on Logic, Language, Information, and Computation (WoLLIC), pp. 337-354. Springer, Cham, 2021. (18 pages) Published , arXiv
"An exponential lower bound for proofs in focused calculi." In International Workshop on Logic, Language, Information, and Computation (WoLLIC), pp. 342-355. Springer, Berlin, Heidelberg, 2019. (14 pages) Published
Submitted Papers
(with I. van der Giessen and R. Kuznets) Interpolation in Proof Theory, in progress.
(with S. Hetzl and T. Lang) Completeness of Interpolation Algorithms in Classical and Non-classical Logics, submitted.
(with O. Ježil) Feasibility of Primality in Bounded Arithmetic, submitted. arXiv
(with I. van der Giessen and R. Kuznets) Proof theoretical methods in interpolation, a chapter in the volume on interpolation, submitted.
(with M. Baaz, M. Gamsakhurdia, R. Iemhoff) Skolemization in intermediate logics, submitted. arXiv
(with A. Akbar Tabatabai) Universal Proof Theory: Semi-analytic Rules and Interpolation, submitted.