Knowledge Representation with Multiple Logical Theories and Time