Logic and Theoretical AI