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
1502005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Science & Business Media, 2013
292013
Reichenbach, Prior and hybrid tense logic
P Blackburn, KF Jørgensen
Synthese 193, 3677-3689, 2016
182016
Indexical hybrid tense logic
PR Blackburn, KF Jørgensen
Advances in modal logic, 144-160, 2012
172012
Arthur Prior and ‘now’
P Blackburn, KF Jørgensen
Synthese 193, 3665-3676, 2016
152016
Finite type arithmetic
KF Jørgensen
Master's Thesis, University of Roskilde, Departments of Mathematics and …, 2001
152001
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
132017
Knowledge contributors
VF Hendricks, KF Jørgensen, SA Pedersen
Springer Science & Business Media, 2013
132013
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
112016
Interactions: mathematics, physics and philosophy, 1860-1930
VF Hendricks, KF Jørgensen, J Lützen, SA Pedersen
Springer Science & Business Media, 2007
112007
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation
KF Jørgensen
Roskilde Universitet, 2001
112001
Probability theory: philosophy, recent history and relations to science
VF Hendricks, SA Pedersen, KF Jørgensen
Springer Science & Business Media, 2001
92001
Kant's Schematism and the Foundations of Mathematics
KF Jørgensen
Roskilde Universitet, 2005
82005
Contextual validity in hybrid logic
P Blackburn, KF Jørgensen
Modeling and Using Context: 8th International and Interdisciplinary …, 2013
72013
Henkin and hybrid logic
P Blackburn, A Huertas, M Manzano, KF Jørgensen
The Life and Work of Leon Henkin: Essays on His Contributions, 279-306, 2014
52014
A Seligman-style tableau system
P Blackburn, T Bolander, T Braüner, KF Jørgensen
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
42013
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
Kants kritik af dømmekraften: Otte læsninger, 117-142, 2007
12007
Opbygningen af en model til simulering af sobesætninger
E Jørgensen
KVL. Husdyrbrugsinstituttet, 1981
11981
The system can't perform the operation now. Try again later.
Articles 1–20