Title: Logic and Its Applications