Klaus Frovin Jørgensen

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 4

Top Topics

Predicate Logic

Automated Theorem Proving

Temporal Relations

Top Venues

Advances in Modal Logic

J. Log. Comput.

Publications

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
Completeness and termination for a Seligman-style tableau system. J. Log. Comput. 27 (1) (2017)
Patrick Blackburn, Klaus Frovin Jørgensen
Reichenbach, Prior and hybrid tense logic. Synth. 193 (11) (2016)
Patrick Blackburn, Klaus Frovin Jørgensen
Arthur Prior and 'Now'. Synth. 193 (11) (2016)
Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic (2016)
Patrick Blackburn, Klaus Frovin Jørgensen
Contextual Validity in Hybrid Logic. CONTEXT (2013)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
A Seligman-Style Tableau System. LPAR (2013)
Patrick Blackburn, Klaus Frovin Jørgensen
Indexical Hybrid Tense Logic. Advances in Modal Logic (2012)
Klaus Frovin Jørgensen
Functional interpretation and the existence property. Math. Log. Q. 50 (6) (2004)