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

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
EditorsMaribel Fernández, Anca Muscholl
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Pages28:1-28:16
Volume152
ISBN (print)978-3-95977-132-0
Publication statusPublished - 2020
Peer-reviewedYes

External IDs

Scopus 85077500493
ORCID /0000-0003-3214-0828/work/142249486