my forest
1\title{Progress on linear-temporal properties research notes}
2\date{2026-04-12}
3\author{liamoc}
4\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from me and [[rayhana]]. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.}