Klaus Frovin Joergensen
Klaus Frovin Joergensen
Unknown affiliation
Verified email at ruc.dk
Cited by
Cited by
Visualization, explanation and reasoning styles in mathematics
SA Pedersen, P Mancosu, KF Jorgensen
Springer, 2005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Science & Business Media, 2013
Finite type arithmetic
KF Jørgensen
Master's thesis, Departments of Mathematics and Philosophy, University of …, 2001
Indexical Hybrid Tense Logic.
P Blackburn, KF Jørgensen
Advances in Modal Logic 9, 144-60, 2012
Reichenbach, Prior and hybrid tense logic
P Blackburn, KF Jørgensen
Synthese 193 (11), 3677-3689, 2016
Arthur Prior and ‘now’
P Blackburn, KF Jørgensen
Synthese 193 (11), 3665-3676, 2016
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation
KF Jørgensen, SU Kohlenbach, SA Pedersen
Master’s thesis, 2001
Interactions: mathematics, physics and philosophy, 1860-1930
VF Hendricks, KF Jørgensen, J Lützen, SA Pedersen
Springer Science & Business Media, 2007
Knowledge contributors
VF Hendricks, KF Jørgensen, SA Pedersen
Springer Science & Business Media, 2003
Completeness and termination for a Seligman-style tableau system
P Blackburn, T Bolander, T Braüner, KF Jørgensen
Journal of Logic and Computation 27 (1), 81-107, 2017
Probability theory: philosophy, recent history and relations to science
VFHSA Pedersen, K Frovin
Springer Science & Business Media, 2001
& Fullerton HJ
AS Go, D Mozaffarian, VL Roger, EJ Benjamin, JD Berry, MJ Blaha
Heart disease and stroke statistics-2014 update. Circulation 129 (3), 2014
Kant's Schematism and the Foundations of Mathematics
KF Jørgensen
Section for Philosophy and Science Studies, Roskilde University, 2005
Forecasting the future of cardiovascular disease in the United States: a policy statement from the American Heart Association
D Mozaffarian, EJ Benjamin, AS Go, DK Arnett, MJ Blaha, M Cushman, ...
Heart disease and stroke statistics-2016 update. Circulation 133, e38-e360, 2016
Synthetic completeness proofs for Seligman-style tableau systems.
KF Jørgensen, P Blackburn, T Bolander, T Braüner
Advances in Modal Logic 11, 302-321, 2016
Contextual validity in hybrid logic
P Blackburn, KF Jørgensen
International and Interdisciplinary Conference on Modeling and Using Context …, 2013
Explaining the slowdown in medical spending growth among the elderly, 1999-2012.
SS Virani, A Alonso, EJ Benjamin, MS Bittencourt, CW Callaway, ...
RTI International, 2020
A Seligman-style tableau system
P Blackburn, T Bolander, T Braüner, KF Jørgensen
International Conference on Logic for Programming Artificial Intelligence …, 2013
Employment Cost Index, Historical Listing–Volume V: Continuous Occupational and Industry Series: September 1975-December 2017. Table 4: employment cost index for total…
EJ Benjamin, P Muntner, A Alonso, MS Bittencourt, CW Callaway, ...
RTI International, 2019
Henkin and hybrid logic
P Blackburn, A Huertas, M Manzano, KF Jørgensen
The Life and Work of Leon Henkin, 279-306, 2014
The system can't perform the operation now. Try again later.
Articles 1–20