1. A proof-theoretic investigation of a logic of positions;Baratella;Ann. Pure Appl. Log.,2003
2. An approach to infinitary temporal proof theory;Baratella;Arch. Math. Log.,2004
3. Linear logic;Girard;Theor. Comput. Sci.,1987
4. An analysis of (linear) exponentials based on extended sequents;Guerrini;Log. J. IGPL,1998
5. An equivalence between sequent calculi for linear-time temporal logic;Kamide;Bull. Sect. Log. Univ. Łódź,2006