Display to Labelled Proofs and Back Again for Tense Logics

11/06/2019
by   Agata Ciabattoni, et al.
0

We introduce translations between display calculus proofs and labelled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labelled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labelled calculus can be put into a special form that is easily translatable to a derivation in the display calculus.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset