Klaus Frovin Jørgensen

According to our database, Klaus Frovin Jørgensen authored at least 8 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Completeness and termination for a Seligman-style tableau system.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen

J. Log. Comput., 2017

2016

Reichenbach, Prior and hybrid tense logic.

Patrick Blackburn, Klaus Frovin Jørgensen

Synth., 2016

Arthur Prior and 'Now'.

Patrick Blackburn, Klaus Frovin Jørgensen

Synth., 2016

Synthetic completeness proofs for Seligman-style tableau systems.

Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner

Proceedings of the Advances in Modal Logic 11, 2016

2013

A Seligman-Style Tableau System.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Contextual Validity in Hybrid Logic.

Patrick Blackburn, Klaus Frovin Jørgensen

Proceedings of the Modeling and Using Context, 2013

2012

Indexical Hybrid Tense Logic.

Patrick Blackburn, Klaus Frovin Jørgensen

Proceedings of the Advances in Modal Logic 9, 2012

2004

Functional interpretation and the existence property.

Klaus Frovin Jørgensen

Math. Log. Q., 2004