TY - CHAP AU - Lyon, Tim AU - Tiu, Alwen AU - Gore, Rajeev AU - Clouston, Ranald ED - Fernandez, Maribel ED - Muscholl, Anca PY - 2020 T2 - 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) TI - Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents ER -