Time in a Multi-theory Logical Framework