“a study in semantics and modal logic”