1 problem

0 votes0 replies1 view
Syntactic cut-elimination conjecture for non-wellfounded linear nested sequents for LTL
Let $\mathsf{LNS^{\infty}_{LTL}}$ be the non-wellfounded linear nested sequent calculus for linear temporal logic. Syntactic cut-elimination conjecture. The additional structural e…
Conjectureopencut-elimination linear-temporal-logic proof-theoryarXiv posted 2 days ago

Syntactic cut-elimination conjecture for non-wellfounded linear nested sequents for LTL