8 citations · 14 across the 14 of their papers we have counts for
1 paper · 1 filter
Björn Lellmann, Elaine Pimentel
In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to…