The Syntax and Semantics of Infinitary Languages