Rosalie Iemhoff

1. Uniform interpolation and sequent calculi in modal logic
   2018/05/09 by Rosalie Iemhoff · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Uniform interpolation and the existence of sequent calculi
   2019/06/03 by Rosalie Iemhoff · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
3. Six Proofs of Interpolation for the Modal Logic K
   2025/10/18 by Nick Bezhanishvili, Balder ten Cate, Bezhanishvili, Nick +3 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems