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

Tim Lyon, Alwen Tiu, Rajeev Goré +1

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this met…