Non-characterizability of belief revision: an application of finite model theory