# Klaus Frovin Jørgensen

According to our database

Collaborative distances:

^{1}, Klaus Frovin Jørgensen authored at least 8 papers between 2004 and 2017.Collaborative distances:

## 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