Klaus Frovin Joergensen
Klaus Frovin Joergensen
Unknown affiliation
Verified email at ruc.dk
Title
Cited by
Cited by
Year
Visualization, explanation and reasoning styles in mathematics
SA Pedersen, P Mancosu, KF Jorgensen
Springer, 2005
1312005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Science & Business Media, 2013
242013
Finite type arithmetic
KF Jørgensen
Master's thesis, Departments of Mathematics and Philosophy, University of …, 2001
152001
Indexical Hybrid Tense Logic.
P Blackburn, KF Jørgensen
Advances in Modal Logic 9, 144-60, 2012
142012
Reichenbach, Prior and hybrid tense logic
P Blackburn, KF Jørgensen
Synthese 193 (11), 3677-3689, 2016
122016
Arthur Prior and ‘now’
P Blackburn, KF Jørgensen
Synthese 193 (11), 3665-3676, 2016
122016
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation
KF Jørgensen, SU Kohlenbach, SA Pedersen
Master’s thesis, 2001
122001
Interactions: mathematics, physics and philosophy, 1860-1930
VF Hendricks, KF Jørgensen, J Lützen, SA Pedersen
Springer Science & Business Media, 2007
112007
Knowledge contributors
VF Hendricks, KF Jørgensen, SA Pedersen
Springer Science & Business Media, 2003
112003
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
102017
Probability theory: philosophy, recent history and relations to science
VFHSA Pedersen, K Frovin
Springer Science & Business Media, 2001
102001
& 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
92014
Kant's Schematism and the Foundations of Mathematics
KF Jørgensen
Section for Philosophy and Science Studies, Roskilde University, 2005
92005
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
72016
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
62016
Contextual validity in hybrid logic
P Blackburn, KF Jørgensen
International and Interdisciplinary Conference on Modeling and Using Context …, 2013
62013
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
42020
A Seligman-style tableau system
P Blackburn, T Bolander, T Braüner, KF Jørgensen
International Conference on Logic for Programming Artificial Intelligence …, 2013
42013
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
32019
Henkin and hybrid logic
P Blackburn, A Huertas, M Manzano, KF Jørgensen
The Life and Work of Leon Henkin, 279-306, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20