  The language of Kaplan’s logic is that of modal first-order predicate logic with tense operators and other additions. The additions include a distinguished predicate ‘Exists’, a distinguished binary predicate ‘Located’, a distinguished constant ‘I’, a distinguished constant ‘Here’, and a function-term ‘dthat’.