This category is devoted to what Quine would call theories of reference (see his `On what there is'), ie. theories that do not contain an explicit theory of sense. In particular of interest are Kripke's New Theory of Reference, possible worlds semantics, knowledge and belief representation, Millian semantics, Carnap-Davidson-Tarski -style semantics and so on.