| Visualization, explanation and reasoning styles in mathematics SA Pedersen, P Mancosu, KF Jorgensen Springer, 2005 | 146 | 2005 |
| Proof Theory: History and Philosophical Significance VF Hendricks, SA Pedersen, KF Jørgensen Springer Netherlands, 2000 | 28 | 2000 |
| Reichenbach, Prior and hybrid tense logic P Blackburn, KF Jørgensen Synthese 193, 3677-3689, 2016 | 16 | 2016 |
| Indexical Hybrid Tense Logic. P Blackburn, KF Jørgensen Advances in modal logic 9, 144-60, 2012 | 15 | 2012 |
| 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 |
| Arthur Prior and ‘now’ P Blackburn, KF Jørgensen Synthese 193, 3665-3676, 2016 | 13 | 2016 |
| Knowledge contributors VF Hendricks, KF Jørgensen, SA Pedersen Springer Science & Business Media, 2013 | 13 | 2013 |
| Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation KF Jørgensen Roskilde Universitet, 2001 | 12 | 2001 |
| 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 |
| Kant's Schematism and the Foundations of Mathematics KF Jørgensen Section for Philosophy and Science Studies, Roskilde University, 2005 | 8 | 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 |
| 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 |
| 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 | 3 | 2014 |
| 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 Esther Oluffa Pedersen, Per Jepsen and Carsten Friberg (Aarhus: Forlaget …, 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
