Begun Notes on Linear-time Temporal Properties [loc-0039]

In my work with Rayhana Amjad and Rob van Glabbeek, I've been thinking a bit about the space of linear-time temporal properties \Sigma ^\omega . There are a lot of results about this, some of which we're still working on proving. While the canonical account will be in our forthcoming journal paper and Rayhana's PhD thesis, I'm going to start writing a research notebook on this topic. I've decided to do this rather than blog about our results, because it's more in the spirit of Zettelkästen (Zettelkastengeist?) — the post I had in mind ended up ballooning in size because it needed so much context. Instead, I will just fill in the notebook including our current conjectures.

Currently, there isn't much there, just some basic definitions from Defining Liveness. But I will eventually hopefully have a fairly well-developed summary of a lot of the work in this area over there.