Reinhard Kahle

46 papers B 7Journal 27Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Do Different Artificial Neural Networks Think Alike? On the Feasibility of Cataloging Representations. Minds Mach. Philipp Moritz Stecher, Vlasta Sikimic, Reinhard Kahle
2026	B	`ed.`	Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers SEFM José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
2025	—	`conf`	Konzeptionelle Herausforderungen für die KI: Offenheit? INFORMATIK Reinhard Kahle, Kerstin Prechel
2025	J	`jnl`	Numeral completeness of weak theories of arithmetic. J. Log. Comput. Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos
2025	—	`conf`	Offenheit in der Künstlichen Intelligenz. INFORMATIK Reinhard Kahle
2024	J	`jnl`	90 years of Gödel's incompleteness theorems: Logic and computation. J. Log. Comput. Matthias Baaz, Marcel Ertel, Reinhard Kahle, Thomas Piecha, Jan von Plato
2024	J	`jnl`	A new perspective on completeness and finitist consistency. J. Log. Comput. Paulo Guilherme Santos, Wilfried Sieg, Reinhard Kahle
2023	—	`conf`	Zukunft der KI: Verantwortung und Vertrauen. GI-Jahrestagung Reinhard Kahle
2022	—	`conf`	Geodaten als Open Data für die Künstliche Intelligenz. GI-Jahrestagung Anna Hoffmann, Reinhard Kahle
2022	J	`jnl`	Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log. Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
2021	B	`conf`	A Recursion-Theoretic Characterization of the Probabilistic Class PP. MFCS Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
2021	J	`jnl`	Variants of Kreisel's Conjecture on a New Notion of Provability. Bull. Symb. Log. Paulo Guilherme Santos, Reinhard Kahle
2021	J	`jnl`	k-Provability in $\hbox {PA}$. Logica Universalis Paulo Guilherme Santos, Reinhard Kahle
2020	—	`conf`	Konzeptionelle Herausforderungen für die KI. GI-Jahrestagung Reinhard Kahle, Klaus Mainzer
2020	—	`conf`	Primzahlen als Herausforderung. GI-Jahrestagung Reinhard Kahle
2020	B	`conf`	The Intensional Structure of Epistemic Convictions. SEFM Reinhard Kahle
2019	J	`jnl`	Is There a "Hilbert Thesis"? Stud Logica Reinhard Kahle
2017	J	`jnl`	The logical Cone. FLAP Reinhard Kahle
2016	—	`ch.`	Towards a Proof-Theoretic Semantics of Equalities. Advances in Proof-Theoretic Semantics Reinhard Kahle
2016	J	`jnl`	Two function algebras defining functions in NC Inf. Comput. Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2015	J	`jnl`	Syntax versus Semantics. CoRR Reinhard Kahle, Wilfried Keller
2014	—	`conf`	Towards the Structure of Mathematical Proof. CICM Workshops Reinhard Kahle
2013	J	`jnl`	Applicative theories for the polynomial hierarchy of time and its levels. Ann. Pure Appl. Log. Reinhard Kahle, Isabel Oitavem
2012	—	`ch.`	Modalities Without Worlds. The Realism-Antirealism Debate in the Age of Alternative Logics Reinhard Kahle
2011	J	`jnl`	The Universal Set and Diagonalization in Frege Structures. Rev. Symb. Log. Reinhard Kahle
2010	—	`conf`	An applicative theory for FPH CL&C Reinhard Kahle, Isabel Oitavem
2009	B	`ed.`	Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings CSL Erich Grädel, Reinhard Kahle
2008	B	`conf`	Recursion Schemata for NCk. CSL Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2007	J	`jnl`	Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. Stud Logica Reinhard Kahle
2007	J	`jnl`	Freek Wiedijk (Ed.), The Seventeen Provers of the World. Stud Logica Reinhard Kahle
2006	J	`jnl`	A Proof-theoretic View of Necessity. Synth. Reinhard Kahle
2006	J	`jnl`	Introduction: Proof-theoretic Semantics. Synth. Reinhard Kahle, Peter Schroeder-Heister
2006	B	`conf`	Towards an Implicit Characterization of CSL Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
2005	J	`jnl`	Preface. Ann. Pure Appl. Log. Wilfried Buchholz, Reinhard Kahle
2005	J	`jnl`	Reflections On Frege And Hilbert. Synth. Bernd Buldt, Volker Halbach, Reinhard Kahle
2003	J	`jnl`	Universes over Frege structures. Ann. Pure Appl. Log. Reinhard Kahle
2002	J	`jnl`	Mathematical Proof Theory in the Light of Ordinal Analysis. Synth. Reinhard Kahle
2001	J	`jnl`	Formalizing non-termination of recursive programs. J. Log. Algebraic Methods Program. Reinhard Kahle, Thomas Studer
2001	—	`ed.`	Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings PTCS Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk
2001	J	`jnl`	Truth in Applicative Theories. Stud Logica Reinhard Kahle
2001	J	`jnl`	Universes in explicit mathematics. Ann. Pure Appl. Log. Gerhard Jäger, Reinhard Kahle, Thomas Studer
2000	B	`conf`	A Theory of Explicit Mathematics Equivalent to ID CSL Reinhard Kahle, Thomas Studer
2000	J	`jnl`	N\hbox{\sf N}-strictness in applicative theories. Arch. Math. Log. Reinhard Kahle
2000	—	`conf`	Proof-theoretic notions for software maintenance. MFCSIT Reinhard Kahle
1999	J	`jnl`	Frege Structures for Partial Applicative Theories. J. Log. Comput. Reinhard Kahle
1999	J	`jnl`	The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm