Chaves, E. O. Logical and Semantical Aspects of the Problem of Evil. CRHF 2018, 10, 3-42.