No photo of Reinhard Kahle

View Scopus Profile

Reinhard Kahle

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

Former affiliation
 https://orcid.org/0000-0002-9064-877X
  • 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 proceeding › Chapter

    • 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

    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 proceeding › Chapter

    • HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC

    Kahle, R., 1 Sep 2019, In : Bulletin of Symbolic Logic. 25, 3, p. 414 1 p.

    Research output: Contribution to journal › Editorial

    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 journal › Article

    • 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 work › Editorial activity

    History and Philosophy of Logic (Journal)

    Reinhard Kahle (Editorial board member)

    2018 → …

    Activity: Publication peer-review and editorial work › Editorial activity

    International Joint Conference on Automated Reasoning

    Reinhard Kahle (Member of programme committee)

    27 Jun 2016 → 2 Jul 2016

    Activity: Participating in or organising an event › Participation in conference

    Invited Guest Professor

    Reinhard Kahle (Member)

    Mar 2016 → Jul 2016

    Activity: Other › Types of External academic engagement - Research and Teaching at External Organisation

    In Memoriam: Richard Dedekind (1831 - 1916)

    Reinhard Kahle (Speaker)

    6 Oct 2016 → 8 Oct 2016

    Activity: Participating in or organising an event › Participation in conference