[finite-model-theory] Logica Universalis Webinar - September 8 - Decidability of Logical Theories and Their Combination by João Rasga and Cristina Sernadas