Title: Theories in logic