3-A4LTL