1. Numerical quantification and temporal intervals: a span-er in the works for presentism;Bourne;Logique et Analyze,2007
2. Span operators;Brogaard;Analysis,2007
3. An algebraic study of tense logics with linear time;Bull;Journal of Symbolic Logic,1968
4. Basic Tense Logic