Worlds and Times. - Ulrich Meyer 002 (Notre Dame J. Formal Log., 2006)

'Now' and 'Then' in Tense Logic. - Ulrich Meyer 002 (J. Philos. Log., 2009)

Times in Tense Logic. - Ulrich Meyer 002 (Notre Dame J. Formal Log., 2009)

Modal property comprehension. - Ulrich Meyer 002 (Synth., 2013)

Tense, propositions, and facts. - Ulrich Meyer 002 (Synth., 2016)