A Model-Theoretic Approach to Some Problems in the Semantics of Empirical Languages · Study