Æȷοì
Klaus Frovin Joergensen
Klaus Frovin Joergensen
¼Ò¼ÓÀ» ¾Ë ¼ö ¾øÀ½
ruc.dkÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Visualization, explanation and reasoning styles in mathematics
SA Pedersen, P Mancosu, KF Jorgensen
Springer, 2005
1572005
Proof Theory: History and Philosophical Significance
VF Hendricks, SA Pedersen, KF J©ªrgensen
Springer Science & Business Media, 2013
302013
Reichenbach, Prior and hybrid tense logic
P Blackburn, KF J©ªrgensen
Synthese 193, 3677-3689, 2016
192016
Arthur Prior and ¡®now¡¯
P Blackburn, KF J©ªrgensen
Synthese 193, 3665-3676, 2016
162016
Indexical hybrid tense logic
PR Blackburn, KF J©ªrgensen
Advances in modal logic, 144-160, 2012
162012
Finite type arithmetic
KF J©ªrgensen
Master's Thesis, University of Roskilde, Departments of Mathematics and ¡¦, 2001
142001
Knowledge contributors
VF Hendricks, KF J©ªrgensen, SA Pedersen
Springer Science & Business Media, 2003
132003
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
122017
Interactions: mathematics, physics and philosophy, 1860-1930
VF Hendricks, KF J©ªrgensen, J Lützen, SA Pedersen
Springer Science & Business Media, 2007
122007
Finite type arithmetic: Computable existence analysed by modified realisability and functional interpretation
KF J©ªrgensen
Roskilde Universitet, 2001
112001
Synthetic completeness proofs for Seligman-style tableau systems
KF J©ªrgensen, PR Blackburn, T Bolander, T Braüner
Advances in Modal Logic 2016, 2016
102016
Probability theory: philosophy, recent history and relations to science
VF Hendricks, SA Pedersen, KF J©ªrgensen
Springer Science & Business Media, 2001
102001
Kant's Schematism and the Foundations of Mathematics
KF J©ªrgensen
Roskilde Universitet, 2005
92005
Contextual validity in hybrid logic
P Blackburn, KF J©ªrgensen
Modeling and Using Context: 8th International and Interdisciplinary ¡¦, 2013
62013
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
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
31988
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20