Applications of feasible inference for expressive logics door