Login / Signup

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

Tim LyonAlwen TiuRajeev GoréRanald Clouston
Published in: CSL (2020)
Keyphrases