 The semantic structures for the new logic are Kripke structures where the valuation for propositional constants is replaced by a kind of “zooming in” mapping (in the sense of Blackburn and de Rijke 1997) associating a first-order semantic structure together with a fixed assignment for individual variables to each state.