logical characteriz