A Batens se debe la mayor parte del desarrollo de las lógicas adaptativas (el cual empezó en la década de 1980), que se caracterizan por no mantener el principio de monotonía, que dice que si de un conjunto de fórmulas A se deduce la fórmula B, entonces de A sumado a cualquier otro conjunto de fórmulas, seguirá deduciéndose B.