Κοκκίνης Ιωάννης, Annotated sequent systems for linear temporal logic, 2015,