Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning