Authors Y. Venema Date (dd-mm-yyyy) 1998 Title Temporal logic Publication Year 1998 Publisher AmsterdamWINS (oud WINS) Document type Report Permalink https://hdl.handle.net/11245/1.153577