Studies in modeltheoretic semantics by