Abstract: A hierarchical logical framework, MT, is defined, which is suited for representing and reasoning with multiple theories. MT extends classical two sort predicate calculus in several ways: Allowing to represent multiple theories, each theory is stated in a context; Each context can have meta theories for the contexts under it, and itself is a constant of the contexts above it, etc..