Follow
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
1332005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Netherlands, 2000
252000
Finite type arithmetic
KF Jørgensen
Master's Thesis, University of Roskilde, Departments of Mathematics and …, 2001
152001
Indexical Hybrid Tense Logic.
P Blackburn, KF Jørgensen
Advances in modal logic 9, 144-60, 2012
132012
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
122017
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
Knowledge contributors
VF Hendricks, KF Jørgensen, SA Pedersen
Springer Science & Business Media, 2003
122003
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
Probability theory: philosophy, recent history and relations to science
VFHSA Pedersen, K Frovin
Springer Science & Business Media, 2001
92001
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
82016
Kant's Schematism and the Foundations of Mathematics
KF Jørgensen
Section for Philosophy and Science Studies, Roskilde University, 2005
82005
Contextual validity in hybrid logic
P Blackburn, KF Jørgensen
International and Interdisciplinary Conference on Modeling and Using Context …, 2013
62013
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
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 way through science and philosophy: essays in honour of Stig Andur Pedersen
HB Andersen, FV Christiansen, KF Jørgensen, V Hendriccks
22006
Construction and schemata in mathematics
KF Jørgensen
Phinens 9, 4-28, 2006
22006
Videnskabsteorien og den reflekterende dømmekraft
KF Jørgensen
Esther Oluffa Pedersen, Per Jepsen and Carsten Friberg (Aarhus: Forlaget …, 2007
12007
Proof theory
SA Pedersen, VF Hendricks, KF Jørgensen
Kluwer Academic Publishers, 2000
12000
The system can't perform the operation now. Try again later.
Articles 1–20