Return to Article Details On Temporally Bounded Quantification over Eventualities Download Download PDF