The Intersection of Logic and Magic