Added LTL for channels

It works too!