Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



21
TITLE: A Recursion-Theoretic Characterization of the Probabilistic Class PP
AUTHORS: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
INDEXED IN: Scopus DBLP Handle
IN MY: ORCID | DBLP
22
TITLE: Dedekinds Sätze und Peanos Axiomata
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Philosophia Scientiae, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus CrossRef: 2 Handle
IN MY: ORCID
23
TITLE: Default negation as explicit negation plus update
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Logical Investigations, VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID
24
TITLE: Gödel, mathematischer Realismus und Antireduktionismus
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Wider den Reduktionismus
INDEXED IN: CrossRef Unpaywall
25
TITLE: k-Provability in PA  Full Text
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: LOGICA UNIVERSALIS, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
IN MY: ORCID | DBLP
26
TITLE: Lorenzen Between Gentzen and Schütte
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: Logic, Epistemology, and the Unity of Science, VOLUME: 51
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: The Intensional Structure of Epistemic Convictions
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12524
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP
29
TITLE: Verantwortung in den theoretischen Wissenschaften
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Verantwortung
INDEXED IN: CrossRef
30
TITLE: Feferman on Foundations: Logic, Mathematics, Philosophy  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: PHILOSOPHIA MATHEMATICA, VOLUME: 28, ISSUE: 3
INDEXED IN: WOS CrossRef Handle
IN MY: ORCID
Page 3 of 11. Total results: 105.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service