%0 Book Section %A Lyon, Tim %B Logical Foundations of Computer Science %D 2020 %E Artemov, Sergei %E Nerode, Anil %P 177-194 %T On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems