6 citations · 10 across the 13 of their papers we have counts for
1 paper · 1 filter
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake +1
We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus f…