This might be it
Jeroen Groenendijk, M.J.B. Stokhof, Frank Veltman · 1996
Discussions often end before the issues that started them have been resolved. For example, in the late sixties and early seventies, a hot topic in philosophical logic was the development of an adequate semantics for the language of modal predicate logic. However, the result of this discussion was not one single system that met with general agreement, but a collection of alternative systems, each defended most ably by its proponents. Although it would seem that the topic has lost much of its controversial status, this paper adds one more system to the existing stock. It offers a semantics for the language of modal predicate logic, which is new, not in the sense that it proposes a new ontology as an alternative to the possible world paradigm, but new because it characterizes the meaning of a sentence in terms of its information change potential rather than its truth conditions. What we hope to show is that this dynamic twist sheds new light on old