We define Ehrenfeucht-Fra\{\i}ss\'{e} games and an infinitary version of Heinrich and Henson's positive bounded logic with approximate semantics, and show that, using this logic and these games, one can characterise separable Banach spaces up to linear isomorphism.