Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.

Lutz Straburger

Browse the full FOSSACS paper archive.