research
∙
09/19/2022
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
In this paper, we introduce a general family of sequent-style calculi ov...
share
research
∙
08/10/2022
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
In this paper, a proof-theoretic method to prove uniform Lyndon interpol...
research
∙
08/09/2022
Uniform Lyndon interpolation for intuitionistic monotone modal logic
In this paper we show that the intuitionistic monotone modal logic 𝗂𝖬 ha...
research
∙
08/19/2018
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
In [7] and [8], Iemhoff introduced a connection between the existence of...
research
∙
08/19/2018
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
In [6], Iemhoff introduced the notion of a focused axiom and a focused r...
research
∙
11/06/2017