Decidability of logical theories and their combination (2020)