Klaus Frovin Jørgensen

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Completeness and termination for a Seligman-style tableau system.
J. Log. Comput., 2017

2016
Reichenbach, Prior and hybrid tense logic.
Synthese, 2016

Arthur Prior and 'Now'.
Synthese, 2016

Synthetic completeness proofs for Seligman-style tableau systems.
Proceedings of the Advances in Modal Logic 11, 2016

2013
A Seligman-Style Tableau System.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Contextual Validity in Hybrid Logic.
Proceedings of the Modeling and Using Context, 2013

2012
Indexical Hybrid Tense Logic.
Proceedings of the Advances in Modal Logic 9, 2012

2004
Functional interpretation and the existence property.
Math. Log. Q., 2004


  Loading...