A relational model for temporal logic
Burghard von Karger · Logic Journal of IGPL · 1998
We use Tarski's relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems. Key words: Relational algebra, reactive systems, temporal algebra, temporal logic