Before revision: In logic, we say a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e.
After revision: In logic, a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e.