A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2000)

Investigations on Fragments of First Order Branching Temporal Logic. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2002)

A Tableau Calculus for Hájek's Logic BL. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (J. Log. Comput., 2003)

On Metric Temporal Lukasiewicz Logic. - Tommaso Flaminio; Elisa B. P. Tiezzi (WFLP, 2008)

A complete fuzzy logical system to deal with trust management systems. - Tommaso Flaminio; G. Michele Pinna; Elisa B. P. Tiezzi (Fuzzy Sets Syst., 2008)