Reinhard Kahle

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 12

Top Topics

Logical Representation

Syntactic Semantic

Top Venues

GI-Jahrestagung

Bull. Symb. Log.

Logica Universalis

Publications

Reinhard Kahle
Zukunft der KI: Verantwortung und Vertrauen. GI-Jahrestagung (2023)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. 61 (7-8) (2022)
Anna Hoffmann, Reinhard Kahle
Geodaten als Open Data für die Künstliche Intelligenz. GI-Jahrestagung (2022)
Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS (2021)
Paulo Guilherme Santos, Reinhard Kahle
k-Provability in $\hbox {PA}$. Logica Universalis 15 (4) (2021)
Paulo Guilherme Santos, Reinhard Kahle
Variants of Kreisel's Conjecture on a New Notion of Provability. Bull. Symb. Log. 27 (4) (2021)
Reinhard Kahle
The Intensional Structure of Epistemic Convictions. SEFM (2020)
Reinhard Kahle, Klaus Mainzer
Konzeptionelle Herausforderungen für die KI. GI-Jahrestagung (2020)
Reinhard Kahle
Primzahlen als Herausforderung. GI-Jahrestagung (2020)
Reinhard Kahle
Is There a "Hilbert Thesis"? Stud Logica 107 (1) (2019)
Reinhard Kahle
The logical Cone. FLAP 4 (4) (2017)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
boolean circuits. Inf. Comput. 248 (2016)
Reinhard Kahle, Wilfried Keller
Syntax versus Semantics. CoRR (2015)
Reinhard Kahle
Towards the Structure of Mathematical Proof. CICM Workshops (2014)
Reinhard Kahle, Isabel Oitavem
Applicative theories for the polynomial hierarchy of time and its levels. Ann. Pure Appl. Log. 164 (6) (2013)
Reinhard Kahle
The Universal Set and Diagonalization in Frege Structures. Rev. Symb. Log. 4 (2) (2011)
Reinhard Kahle, Isabel Oitavem
An applicative theory for FPH CL&C (2010)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
Recursion Schemata for NCk. CSL (2008)
Reinhard Kahle
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. Stud Logica 85 (3) (2007)
Reinhard Kahle
Freek Wiedijk (Ed.), The Seventeen Provers of the World. Stud Logica 87 (2-3) (2007)
Reinhard Kahle, Peter Schroeder-Heister
Introduction: Proof-theoretic Semantics. Synth. 148 (3) (2006)
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
. CSL (2006)
Reinhard Kahle
A Proof-theoretic View of Necessity. Synth. 148 (3) (2006)
Wilfried Buchholz, Reinhard Kahle
Preface. Ann. Pure Appl. Log. 133 (1-3) (2005)
Bernd Buldt, Volker Halbach, Reinhard Kahle
Reflections On Frege And Hilbert. Synth. 147 (1) (2005)
Reinhard Kahle
Universes over Frege structures. Ann. Pure Appl. Log. 119 (1-3) (2003)
Reinhard Kahle
Mathematical Proof Theory in the Light of Ordinal Analysis. Synth. 133 (1-2) (2002)
Reinhard Kahle, Thomas Studer
Formalizing non-termination of recursive programs. J. Log. Algebraic Methods Program. 49 (1-2) (2001)
Reinhard Kahle
Truth in Applicative Theories. Stud Logica 68 (1) (2001)
Gerhard Jäger, Reinhard Kahle, Thomas Studer
Universes in explicit mathematics. Ann. Pure Appl. Log. 109 (3) (2001)
Reinhard Kahle
Proof-theoretic notions for software maintenance. Electron. Notes Theor. Comput. Sci. 40 (2000)
Reinhard Kahle, Thomas Studer
. CSL (2000)
Reinhard Kahle
N\hbox{\sf N}-strictness in applicative theories. Arch. Math. Log. 39 (2) (2000)
Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64 (1) (1999)
Reinhard Kahle
Frege Structures for Partial Applicative Theories. J. Log. Comput. 9 (5) (1999)