Reinhard Kahle

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

Full Professor, DM - Departamento de Matemática
Researcher, CMA - Centro de Matemática e Aplicações

Former affiliation

Researcher, CENTRIA – Centro de Inteligência Artificial

https://orcid.org/0000-0002-9064-877X

Emailkahle@fct.unl.pt

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity 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.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

123 Citations
5 h-Index
19 Chapter
13 Article
6 Other contribution
5 Conference contribution
More

Feferman on Foundations: Logic, Mathematics, Philosophy
Kahle, R., Oct 2020, In : PHILOSOPHIA MATHEMATICA. 28, 3, p. 421-425
Research output: Contribution to journal › Book/Film/Article review
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

3 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

Full Member
Kahle, Reinhard (Recipient), 2015
Prize: Election to learned society

3 Participation in conference
3 Editorial activity
1 Participation in workshop, seminar, course
1 Types of Award - Election to learned society
More

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
Hilbert-Bernays Summer School on Logic and Computation 2016
Reinhard Kahle (Organiser)
24 Jul 2016 → 30 Jul 2016
Activity: 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 2016
Activity: Participating in or organising an event › Participation in conference
Intuitionism, Computation, and Proof
Reinhard Kahle (Invited speaker)
10 Jun 2016 → 11 Jun 2016
Activity: Participating in or organising an event › Participation in conference