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
1142005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Science & Business Media, 2013
222013
Finite type arithmetic
KF Jørgensen
Master's thesis, Departments of Mathematics and Philosophy, University of …, 2001
152001
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation
KF Jørgensen, SU Kohlenbach, SA Pedersen
Master’s thesis, 2001
122001
Indexical Hybrid Tense Logic.
P Blackburn, KF Jørgensen
Advances in Modal Logic 9, 144-60, 2012
112012
Interactions: mathematics, physics and philosophy, 1860-1930
VF Hendricks, KF Jørgensen, J Lützen, SA Pedersen
Springer Science & Business Media, 2007
112007
Arthur Prior and ‘now’
P Blackburn, KF Jørgensen
Synthese 193 (11), 3665-3676, 2016
102016
Knowledge contributors
VF Hendricks, KF Jørgensen, SA Pedersen
Springer Science & Business Media, 2013
102013
Forecasting the future of cardiovascular disease in the United States: a policy statement from the American Heart Association.
AS Go, D Mozaffarian, VL Roger, EJ Benjamin, JD Berry, WB Borden, ...
Circulation 127 (1), e6-e245, 2013
92013
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
82017
Probability theory: philosophy, recent history and relations to science
VFHSA Pedersen, K Frovin
Springer Science & Business Media, 2001
82001
Reichenbach, Prior and hybrid tense logic
P Blackburn, KF Jørgensen
Synthese 193 (11), 3677-3689, 2016
72016
Kant's Schematism and the Foundations of Mathematics
KF Jørgensen
Section for Philosophy and Science Studies, Roskilde University, 2005
62005
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
52016
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, ...
Circulation 131 (4), e29-e322, 2015
52015
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
Contextual validity in hybrid logic
P Blackburn, KF Jørgensen
International and Interdisciplinary Conference on Modeling and Using Context …, 2013
42013
Henkin and hybrid logic
P Blackburn, A Huertas, M Manzano, KF Jørgensen
The Life and Work of Leon Henkin, 279-306, 2014
32014
Explaining the slowdown in medical spending growth among the elderly, 1999-2012.
SS Virani, A Alonso, EJ Benjamin, MS Bittencourt, CW Callaway, ...
Circulation 141 (9), e139-e596, 2020
22020
The way through science and philosophy: Essays in honour of Stig Andur Pedersen
HB Andersen, FV Christiansen, KF Jørgensen, V Hendriccks
22006
The system can't perform the operation now. Try again later.
Articles 1–20