A* Logic