Functional interpretation and the existence property. - Klaus Frovin Jørgensen (Math. Log. Q., 2004)

Indexical Hybrid Tense Logic. - Patrick Blackburn; Klaus Frovin Jørgensen (Advances in Modal Logic, 2012)

Contextual Validity in Hybrid Logic. - Patrick Blackburn; Klaus Frovin Jørgensen (CONTEXT, 2013)

A Seligman-Style Tableau System. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (LPAR, 2013)

Synthetic completeness proofs for Seligman-style tableau systems. - Klaus Frovin Jørgensen; Patrick Blackburn; Thomas Bolander; Torben Braüner (Advances in Modal Logic, 2016)

Arthur Prior and 'Now'. - Patrick Blackburn; Klaus Frovin Jørgensen (Synth., 2016)

Reichenbach, Prior and hybrid tense logic. - Patrick Blackburn; Klaus Frovin Jørgensen (Synth., 2016)

Completeness and termination for a Seligman-style tableau system. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (J. Log. Comput., 2017)