In Antony Galton, editor, Temporal Logics and their Applications, Academic Press, 1987, pages 169-196.
Further developments
This chapter has appeared in German Translation as `Die Logik des Vorkommens', in Bertram Kienzle (editor), Zustand and Ereignis, Frankfurt-am-Main: Suhrkamp Verlag, 1994, pp. 377-412.