Studies in Modeltheoretic Semantics