Argues that most currently used information retrieval models are unsuitable to describe recent techniques such as semantic based retrieval. A more general model is presented in which the basis for information retrieval is viewed as logical implication and the estimation of the correspondence between queries and documents is described in terms of modal logic. (14 references) (Author/CLB)