Studies in modeltheoretic semantics door