4 citations · 8 across the 11 of their papers we have counts for
3 papers · 2 filters
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
Amirhossein Akbar Tabatabai, Raheleh Jalali
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Cal…
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…
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…