TILCO-X, an extension of TILCO temporal logic