The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. - Gerhard Jäger; Reinhard Kahle; Anton Setzer; Thomas Strahm (J. Symb. Log., 1999)

Frege Structures for Partial Applicative Theories. - Reinhard Kahle (J. Log. Comput., 1999)

A Theory of Explicit Mathematics Equivalent to ID1. - Reinhard Kahle; Thomas Studer (CSL, 2000)

N hbox{ sf N}-strictness in applicative theories. - Reinhard Kahle (Arch. Math. Log., 2000)

Proof-theoretic notions for software maintenance. - Reinhard Kahle (MFCSIT, 2000)

Universes in explicit mathematics. - Gerhard Jäger; Reinhard Kahle; Thomas Studer (Ann. Pure Appl. Log., 2001)

Formalizing non-termination of recursive programs. - Reinhard Kahle; Thomas Studer (J. Log. Algebraic Methods Program., 2001)

Truth in Applicative Theories. - Reinhard Kahle (Stud Logica, 2001)

Mathematical Proof Theory in the Light of Ordinal Analysis. - Reinhard Kahle (Synth., 2002)

Universes over Frege structures. - Reinhard Kahle (Ann. Pure Appl. Log., 2003)

Preface. - Wilfried Buchholz; Reinhard Kahle (Ann. Pure Appl. Log., 2005)

Reflections On Frege And Hilbert. - Bernd Buldt; Volker Halbach; Reinhard Kahle (Synth., 2005)

Towards an Implicit Characterization of NCk. - Guillaume Bonfante; Reinhard Kahle; Jean-Yves Marion; Isabel Oitavem (CSL, 2006)

A Proof-theoretic View of Necessity. - Reinhard Kahle (Synth., 2006)

Introduction: Proof-theoretic Semantics. - Reinhard Kahle; Peter Schroeder-Heister (Synth., 2006)

Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. - Reinhard Kahle (Stud Logica, 2007)

Freek Wiedijk (Ed.), The Seventeen Provers of the World. - Reinhard Kahle (Stud Logica, 2007)

Recursion Schemata for NCk. - Guillaume Bonfante; Reinhard Kahle; Jean-Yves Marion; Isabel Oitavem (CSL, 2008)

An applicative theory for FPH - Reinhard Kahle; Isabel Oitavem (CL&C, 2010)

The Universal Set and Diagonalization in Frege Structures. - Reinhard Kahle (Rev. Symb. Log., 2011)

Modalities Without Worlds. - Reinhard Kahle (The Realism-Antirealism Debate in the Age of Alternative Logics, 2012)

Applicative theories for the polynomial hierarchy of time and its levels. - Reinhard Kahle; Isabel Oitavem (Ann. Pure Appl. Log., 2013)

Towards the Structure of Mathematical Proof. - Reinhard Kahle (CICM Workshops, 2014)

Syntax versus Semantics. - Reinhard Kahle; Wilfried Keller (CoRR, 2015)

Towards a Proof-Theoretic Semantics of Equalities. - Reinhard Kahle (Advances in Proof-Theoretic Semantics, 2016)

Two function algebras defining functions in NCk boolean circuits. - Guillaume Bonfante; Reinhard Kahle; Jean-Yves Marion; Isabel Oitavem (Inf. Comput., 2016)

The logical Cone. - Reinhard Kahle (FLAP, 2017)

Is There a "Hilbert Thesis"? - Reinhard Kahle (Stud Logica, 2019)

Primzahlen als Herausforderung. - Reinhard Kahle (GI-Jahrestagung, 2020)

Konzeptionelle Herausforderungen für die KI. - Reinhard Kahle; Klaus Mainzer (GI-Jahrestagung, 2020)

The Intensional Structure of Epistemic Convictions. - Reinhard Kahle (SEFM, 2020)

A Recursion-Theoretic Characterization of the Probabilistic Class PP. - Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem (MFCS, 2021)

Variants of Kreisel's Conjecture on a New Notion of Provability. - Paulo Guilherme Santos; Reinhard Kahle (Bull. Symb. Log., 2021)

k-Provability in $ hbox {PA}$. - Paulo Guilherme Santos; Reinhard Kahle (Logica Universalis, 2021)

Geodaten als Open Data für die Künstliche Intelligenz. - Anna Hoffmann; Reinhard Kahle (GI-Jahrestagung, 2022)

Implicit recursion-theoretic characterizations of counting classes. - Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem (Arch. Math. Log., 2022)

Zukunft der KI: Verantwortung und Vertrauen. - Reinhard Kahle (GI-Jahrestagung, 2023)

90 years of Gödel's incompleteness theorems: Logic and computation. - Matthias Baaz; Marcel Ertel; Reinhard Kahle; Thomas Piecha; Jan von Plato (J. Log. Comput., 2024)

A new perspective on completeness and finitist consistency. - Paulo Guilherme Santos; Wilfried Sieg; Reinhard Kahle (J. Log. Comput., 2024)

Numeral completeness of weak theories of arithmetic. - Reinhard Kahle; Isabel Oitavem; Paulo Guilherme Santos (J. Log. Comput., 2025)