Title: A Modern Approach to Logical Reasoning