Logic and Its Applications