A Temporal Module for Logical Frameworks