Vitalsource Technologies, Inc. Decidability of Logical Theories and Their Combination