[boost] modern logic classes