No photo of Reinhard Kahle

Reinhard Kahle

CMA Research Group - Algebra and Logic, Integrated member (PhD)

  • 116 Citations
  • 5 h-Index
20052019

Research output per year

If you made any changes in Pure these will be visible here soon.

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 level. Dive into details by clicking on the dots.

Research Output at NOVA

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 proceedingChapter

  • 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 journalArticle

    2 Citations (Scopus)

    Dual Axiomatics

    Kahle, R., 2019, Mario Bunge: A Centenary Festschrift. Matthews, M. R. (ed.). Cham: Springer, p. 633-642

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Open Access

    Is There a “Hilbert Thesis”?

    Kahle, R., 15 Feb 2019, In : Studia Logica. 107, 1, p. 145-165 21 p.

    Research output: Contribution to journalArticle

  • 3 Citations (Scopus)

    Prizes

    Full Member

    Kahle, Reinhard (Recipient), 2015

    Prize: Election to learned society

    Activities

    Birkhaeuser Verlag (Publisher)

    Reinhard Kahle (Editorial board member)

    2018 → …

    Activity: Publication peer-review and editorial workEditorial activity

    History and Philosophy of Logic (Journal)

    Reinhard Kahle (Editorial board member)

    2018 → …

    Activity: Publication peer-review and editorial workEditorial activity

    International Joint Conference on Automated Reasoning

    Reinhard Kahle (Member of programme committee)

    27 Jun 20162 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

    Invited Guest Professor

    Reinhard Kahle (Member)

    Mar 2016Jul 2016

    Activity: OtherTypes of External academic engagement - Research and Teaching at External Organisation

    In Memoriam: Richard Dedekind (1831 - 1916)

    Reinhard Kahle (Speaker)

    6 Oct 20168 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference