Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

arXiv2405.01935MaRDI QIDQ6533124FDOQ6533124

Authors: Bahareh Afshari, Johannes Kloibhofer 

This page was built for publication: Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6533124)