We discuss some aspects of finite variable logics. We translate some well-known fixed-point logics into the infinitary logic $\L\omega$, discussing complexity issues. We give a game characterisation of $\L\omega$, and use it to derive results on Scott sentences. In this connection we consider definable linear orderings of types realised in finite structures.
We then show that the Craig interpolation and the strong and weak Beth definability properties fail for $\L\omega$.
Finally we examine some connections of finite variable logic to temporal logic.
Credits and references are given throughout.
The version available above is revised (Oct 1996, length now about 37 pages) and will appear in a book of columns from BEATCS.