TY  - RPRT
TI  - Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
AU  - Tim Lyon
AU  - Alwen Tiu
AU  - Rajeev Goré
AU  - Ranald Clouston
PY  - 2023
DO  - 10.4230/lipics.csl.2020.28
UR  - https://arxiv.org/abs/1910.05215
ID  - 1910.05215
ER  -