Iris van der Giessen

activity

20202026

most citedMechanised uniform interpolation for modal logics K, GL, and iSL

1 citations · 2 across the 4 of their papers we have counts for

collaborators

Showing math.LOShow all

1 paper · 1 filter

math.LO2020★ 1 cited

Proof Theory for Intuitionistic Strong Löb Logic

Iris van der Giessen, Rosalie Iemhoff

This paper introduces two sequent calculi for intuitionistic strong Löb logic $iSL_{□}$ : a terminating sequent calculus $G4iSL_{□}$ based on the terminating sequent c…