Title: Trends in Predicate Logic