[finite-model-theory] Paraconsistent Newsletter -- Spring 2020