A temporal module for logical frameworks