INDEXED PREDICATE CALCULUS
Sigekatu Kuroda · Journal of Semantics · 1982
A programme to construct an extension of predicate calculus is proposed in which predicates and constants are indexed and interpreted with respect to different (mini-)vorlds reffered to by indices. From another perspective the proposed system is an extension of the idea of indexing noun phrases in syntactic representations in generative grammar. Some applications are given, bx particular, it is applied to the description of ambiguities in intensional contexts, and a comparison is made with a description recently given by Saarinen.