Title: A Modern Approach To Logical Reasoning