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, Eberhard Karls Universität 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
-
Implicit recursion-theoretic characterizations of counting classes
Dal Lago, U., Kahle, R. & Oitavem, I., 2022, (Accepted/In press) In: Archive For Mathematical Logic. p. 1-16 16 p.Research output: Contribution to journal › Article › peer-review
-
A Recursion-Theoretic Characterization of the Probabilistic Class PP
Dal Lago, U., Kahle, R. & Oitavem, I., 1 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile -
Dedekinds Saetze und Peanos Axiome
Kahle, R., 2021, In: Philosophia Scientiæ. 25, 1, p. 69-93Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Default negation as explicit negation plus update
Kahle, R., 2021, In: Logical Investigations. 27, 1, p. 64-81 18 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Gödel, mathematischer Realismus und Antireduktionismus
Kahle, R., 15 Jun 2021, Wider den Reduktionismus. Passon, O. & Benzmüller, C. (eds.). Berlin, Heidelberg: Springer Spektrum, p. 145-150Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Prizes
-
-
-
Prémio de Lógica Amílcar Sernadas
Kahle, Reinhard (Recipient) & Santos, Paulo Guilherme Domingos Canha Moreira dos (Recipient), 2020
Prize: Prize (including medals and awards)
Activities
-
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Birkhaeuser Verlag (Publisher)
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
-
Hilbert-Bernays Summer School on Logic and Computation 2016
Reinhard Kahle (Organiser)
24 Jul 2016 → 30 Jul 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
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