Visualization, explanation and reasoning styles in mathematics SA Pedersen, P Mancosu, KF Jorgensen Springer, 2005 | 154 | 2005 |
Proof Theory: History and Philosophical Significance VF Hendricks, SA Pedersen, KF Jørgensen Springer Science & Business Media, 2013 | 28 | 2013 |
Reichenbach, Prior and hybrid tense logic P Blackburn, KF Jørgensen Synthese 193, 3677-3689, 2016 | 20 | 2016 |
Arthur Prior and ‘now’ P Blackburn, KF Jørgensen Synthese 193, 3665-3676, 2016 | 16 | 2016 |
Indexical hybrid tense logic PR Blackburn, KF Jørgensen Advances in modal logic, 144-160, 2012 | 16 | 2012 |
Finite type arithmetic KF Jørgensen Master's Thesis, University of Roskilde, Departments of Mathematics and …, 2001 | 14 | 2001 |
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 | 13 | 2017 |
Knowledge contributors VF Hendricks, KF Jørgensen, SA Pedersen Springer Science & Business Media, 2003 | 12 | 2003 |
Interactions: mathematics, physics and philosophy, 1860-1930 VF Hendricks, KF Jørgensen, J Lützen, SA Pedersen Springer Science & Business Media, 2007 | 11 | 2007 |
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation KF Jørgensen Roskilde Universitet, 2001 | 11 | 2001 |
Synthetic completeness proofs for Seligman-style tableau systems KF Jørgensen, PR Blackburn, T Bolander, T Braüner Advances in Modal Logic 2016, 2016 | 10 | 2016 |
Kant's Schematism and the Foundations of Mathematics KF Jørgensen Roskilde Universitet, 2005 | 9 | 2005 |
Probability theory: philosophy, recent history and relations to science VF Hendricks, SA Pedersen, KF Jørgensen Springer Science & Business Media, 2001 | 8 | 2001 |
Contextual validity in hybrid logic P Blackburn, KF Jørgensen Modeling and Using Context: 8th International and Interdisciplinary …, 2013 | 6 | 2013 |
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 | 4 | 2014 |
A Seligman-style tableau system P Blackburn, T Bolander, T Braüner, KF Jørgensen Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 4 | 2013 |
The way through science and philosophy: essays in honour of Stig Andur Pedersen HB Andersen, FV Christiansen, KF Jørgensen, V Hendriccks | 2 | 2006 |
Construction and schemata in mathematics KF Jørgensen Phinens 9, 4-28, 2006 | 2 | 2006 |
Højgård, Avnevig og Måde. Tre syd-og sønderjyske grave fra tiden omkring Kristi fødsel E Jørgensen, J Davidson Kuml 36 (36), 119-142, 1988 | 2 | 1988 |
Videnskabsteorien og den reflekterende dømmekraft KF Jørgensen Kants kritik af dømmekraften: Otte læsninger, 117-142, 2007 | 1 | 2007 |