Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.

Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston

Browse the full CSL paper archive.