Publications

Journal Publications

• (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), accepted, 2023. link  

• (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) – 42 pages (Preliminary version in: WoLLIC 2021), accepted, 2022. link 

• "Proof complexity of substructural logics." Annals of Pure and Applied Logic (APAL) 172, no. 7 (2021): 102972. (31 pages) link 

Proceeding Publications

• (with Stefan Hetzl) On the Completeness of Interpolation Algorithms, Logic in Computer Science (LICS) 2024. arXiv 

• (with I. van der Giessen and R. Kuznets), Extensions of K5: Proof Theory and Uniform Lyndon Interpolation, TABLEAUX 2023. (25 pages) link 

• (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 

• (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)  link 

• (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) link , 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) link 

Submitted Papers

• (with R. Iemhoff ) Universal Proof Theory, TACL 2022 Lecture Notes . arXiv 

• (with Amir Akbar Tabatabai) Universal Proof Theory: Feasible Admissible Rules, submitted, 2022.pdf arXiv 

• (with Amir Akbar Tabatabai) Universal Proof Theory: Semi-analytic Rules and Interpolation, submitted, 2019.