Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents.

Roman Kuznets, Bjrn Lellmann

Browse the full AiML paper archive.