Reinhard Kahle

According to our database, Reinhard Kahle authored at least 39 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A new perspective on completeness and finitist consistency.

Paulo Guilherme Santos, Wilfried Sieg, Reinhard Kahle

J. Log. Comput., 2024

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

2023

Zukunft der KI: Verantwortung und Vertrauen.

Reinhard Kahle

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2022

Implicit recursion-theoretic characterizations of counting classes.

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem

Arch. Math. Log., 2022

Geodaten als Open Data für die Künstliche Intelligenz.

Anna Hoffmann, Reinhard Kahle

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

2021

k-Provability in $\hbox {PA}$.

Paulo Guilherme Santos, Reinhard Kahle

Logica Universalis, 2021

Variants of Kreisel's Conjecture on a New Notion of Provability.

Paulo Guilherme Santos, Reinhard Kahle

Bull. Symb. Log., 2021

A Recursion-Theoretic Characterization of the Probabilistic Class PP.

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

The Intensional Structure of Epistemic Convictions.

Reinhard Kahle

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Konzeptionelle Herausforderungen für die KI.

Reinhard Kahle, Klaus Mainzer

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Primzahlen als Herausforderung.

Reinhard Kahle

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

2019

Is There a "Hilbert Thesis"?

Reinhard Kahle

Stud Logica, 2019

2017

The logical Cone.

Reinhard Kahle

FLAP, 2017

2016

Two function algebras defining functions in NC^k boolean circuits.

Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem

Inf. Comput., 2016

Towards a Proof-Theoretic Semantics of Equalities.

Reinhard Kahle

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2015

Syntax versus Semantics.

Reinhard Kahle, Wilfried Keller

CoRR, 2015

2014

Towards the Structure of Mathematical Proof.

Reinhard Kahle

Proceedings of the Joint Proceedings of the MathUI, 2014

2013

Applicative theories for the polynomial hierarchy of time and its levels.

Reinhard Kahle, Isabel Oitavem

Ann. Pure Appl. Log., 2013

2012

Modalities Without Worlds.

Reinhard Kahle

Proceedings of the Realism-Antirealism Debate in the Age of Alternative Logics, 2012

2011

The Universal Set and Diagonalization in Frege Structures.

Reinhard Kahle

Rev. Symb. Log., 2011

2010

An applicative theory for FPH

Reinhard Kahle, Isabel Oitavem

Proceedings of the Proceedings Third International Workshop on Classical Logic and Computation, 2010

2008

Recursion Schemata for NCk.

Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Freek Wiedijk (Ed.), The Seventeen Provers of the World.

Reinhard Kahle

Stud Logica, 2007

Edwin D. Mares, Relevant Logic - A Philosophical Interpretation.

Reinhard Kahle

Stud Logica, 2007

2006

Introduction: Proof-theoretic Semantics.

Reinhard Kahle, Peter Schroeder-Heister

Synth., 2006

A Proof-theoretic View of Necessity.

Reinhard Kahle

Synth., 2006

Towards an Implicit Characterization of <i>NC</i>^<i>k</i>.

Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Reflections On Frege And Hilbert.

Bernd Buldt, Volker Halbach, Reinhard Kahle

Synth., 2005

Preface.

Wilfried Buchholz, Reinhard Kahle

Ann. Pure Appl. Log., 2005

2003

Universes over Frege structures.

Reinhard Kahle

Ann. Pure Appl. Log., 2003

2002

Mathematical Proof Theory in the Light of Ordinal Analysis.

Reinhard Kahle

Synth., 2002

2001

Truth in Applicative Theories.

Reinhard Kahle

Stud Logica, 2001

Formalizing non-termination of recursive programs.

Reinhard Kahle, Thomas Studer

J. Log. Algebraic Methods Program., 2001

Universes in explicit mathematics.

Gerhard Jäger, Reinhard Kahle, Thomas Studer

Ann. Pure Appl. Log., 2001

2000

Proof-theoretic notions for software maintenance.

Reinhard Kahle

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

N\hbox{\sf N}-strictness in applicative theories.

Reinhard Kahle

Arch. Math. Log., 2000

A Theory of Explicit Mathematics Equivalent to ID₁.

Reinhard Kahle, Thomas Studer

Proceedings of the Computer Science Logic, 2000

1999

Frege Structures for Partial Applicative Theories.

Reinhard Kahle

J. Log. Comput., 1999

The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.

Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm

J. Symb. Log., 1999