A quantified temporal logic for ampliation and restriction - Uckelman, Sara L. (Vivarium, 2013)