4 citations · 5 across the 3 of their papers we have counts for
3 papers
math.LO2025
Proof Complexity and Feasible Interpolation
Amirhossein Akbar Tabatabai
This is a survey on propositional proof complexity aimed at introducing the basics of the field with a particular focus on a method known as feasible interpolation. This method is…
math.LO2022★ 1 cited
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal and conditional logics is introduced and applied to show that the logics $\mathsf…
math.LO2022★ 4 cited
Uniform Lyndon interpolation for intuitionistic monotone modal logic
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
In this paper we show that the intuitionistic monotone modal logic has the uniform Lyndon interpolation property (ULIP). The logic is a non-normal modal…