Logical characterization of filters on BL-algebras