Kriesel-Putnamの論理