Some Modern Advances in Logic