| Visualization, explanation and reasoning styles in mathematics SA Pedersen, P Mancosu, KF Jorgensen Springer, 2005 | 150 | 2005 |
| Proof Theory: History and Philosophical Significance VF Hendricks, SA Pedersen, KF Jørgensen Springer Science & Business Media, 2013 | 29 | 2013 |
| Reichenbach, Prior and hybrid tense logic P Blackburn, KF Jørgensen Synthese 193, 3677-3689, 2016 | 18 | 2016 |
| Indexical hybrid tense logic PR Blackburn, KF Jørgensen Advances in modal logic, 144-160, 2012 | 17 | 2012 |
| Arthur Prior and ‘now’ P Blackburn, KF Jørgensen Synthese 193, 3665-3676, 2016 | 15 | 2016 |
| Finite type arithmetic KF Jørgensen Master's Thesis, University of Roskilde, Departments of Mathematics and …, 2001 | 15 | 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, 2013 | 13 | 2013 |
| 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 | 11 | 2016 |
| 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 |
| Probability theory: philosophy, recent history and relations to science VF Hendricks, SA Pedersen, KF Jørgensen Springer Science & Business Media, 2001 | 9 | 2001 |
| Kant's Schematism and the Foundations of Mathematics KF Jørgensen Roskilde Universitet, 2005 | 8 | 2005 |
| Contextual validity in hybrid logic P Blackburn, KF Jørgensen Modeling and Using Context: 8th International and Interdisciplinary …, 2013 | 7 | 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 | 5 | 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 |
| Videnskabsteorien og den reflekterende dømmekraft KF Jørgensen Kants kritik af dømmekraften: Otte læsninger, 117-142, 2007 | 1 | 2007 |
| Opbygningen af en model til simulering af sobesætninger E Jørgensen KVL. Husdyrbrugsinstituttet, 1981 | 1 | 1981 |
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
