Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctorate, University of Bern
Award Date: 20 Mar 1997
External positions
Privatdozent, University of Tübingen
2007 → …Fingerprint
Dive into the research topics where Reinhard Kahle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
k-Provability in PA
Santos, P. G. & Kahle, R., Jun 2021, (Accepted/In press) In: Logica Universalis.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Feferman on Foundations: Logic, Mathematics, Philosophy
Kahle, R., Oct 2020, In: PHILOSOPHIA MATHEMATICA. 28, 3, p. 421-425Research output: Contribution to journal › Book/Film/Article review › peer-review
Open AccessFile -
Belief Revision Revisited
Kahle, R., 2019, Epistemologia, Lógica e Linguagem. Pombo, O., Pato, A. & Redmond, J. (eds.). Centro de Filosofia das Ciências da Universidade de Lisboa, Vol. 11. 13 p. (Colecção Documenta; vol. 11).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Discussing Hilbert’s 24th problem
Hipolito, I. & Kahle, R., 11 Mar 2019, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140(SI), Y.Research output: Contribution to journal › Article › peer-review
5 Citations (Scopus) -
Dual Axiomatics
Kahle, R., 2019, Mario Bunge: A Centenary Festschrift. Matthews, M. R. (ed.). Cham: Springer, p. 633-642Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Prizes
Activities
-
Birkhaeuser Verlag (Publisher)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
In Memoriam: Richard Dedekind (1831 - 1916)
Reinhard Kahle (Speaker)
6 Oct 2016 → 8 Oct 2016Activity: Participating in or organising an event › Participation in conference
-
Intuitionism, Computation, and Proof
Reinhard Kahle (Invited speaker)
10 Jun 2016 → 11 Jun 2016Activity: Participating in or organising an event › Participation in conference
-
International Joint Conference on Automated Reasoning
Reinhard Kahle (Member of programme committee)
27 Jun 2016 → 2 Jul 2016Activity: Participating in or organising an event › Participation in conference