Visualization, explanation and reasoning styles in mathematics SA Pedersen, P Mancosu, KF Jorgensen Springer, 2005 | 157 | 2005 |
Proof Theory: History and Philosophical Significance VF Hendricks, SA Pedersen, KF J©ªrgensen Springer Science & Business Media, 2013 | 30 | 2013 |
Reichenbach, Prior and hybrid tense logic P Blackburn, KF J©ªrgensen Synthese 193, 3677-3689, 2016 | 19 | 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 |
Knowledge contributors VF Hendricks, KF J©ªrgensen, SA Pedersen Springer Science & Business Media, 2003 | 13 | 2003 |
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 | 12 | 2017 |
Interactions: mathematics, physics and philosophy, 1860-1930 VF Hendricks, KF J©ªrgensen, J Lützen, SA Pedersen Springer Science & Business Media, 2007 | 12 | 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 |
Probability theory: philosophy, recent history and relations to science VF Hendricks, SA Pedersen, KF J©ªrgensen Springer Science & Business Media, 2001 | 10 | 2001 |
Kant's Schematism and the Foundations of Mathematics KF J©ªrgensen Roskilde Universitet, 2005 | 9 | 2005 |
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 | 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 |
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 | 3 | 1988 |
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 |