| Kahle, Reinhard | Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin. Springer, 2024. | Zur Publikation |
| Piecha, Thomas; Wehmeier, Kai F. | Peter Schroeder-Heister on Proof-Theoretic
Semantics. Outstanding Contributions to Logic 29. Springer, 2024. | Zur Publikation |
| Kahle, Reinhard; Mainzer, Klaus | Limits of AI - theoretical, practical, ethical. Technik im Fokus, Springer, 2024. | Zur Publikation |
| Baaz, Matthias; Ertel, Marcel; Kahle, Reinhard; Piecha, Thomas; von Plato, Jan | Introduction. Journal of Logic and Computation, 34(6), 2024. Special issue on 90 years of Gödel’s incompleteness theorems: Logic and computation. | Zur Publikation |
| Duerr, Patrick; Read, James | An invitation to conventionalism: a philosophy for modern (space-) times. Synthese, 204, 2024. | Zur Publikation |
| Wolf, William J.; Duerr, Patrick | Promising stabs in the Dark: theory virtues and pursuitworthiness in the Dark Energy problem. Synthese, 204, 2024. | Zur Publikation |
| Santos, Paulo Guilherme; Sieg, Wilfried; Kahle, Reinhard | A new perspective on completeness and finitist consistency. Journal of Logic and Computation, 34(6):1179-1198, 2024. | Zur Publikation |
| Skapinakis, Eduardo | Secretive interaction: Players and strategies. Information and Computation, 300:105-196, 2024. | Zur Publikation |
| Kahle, Reinhard; Santos, Paulo Guilherme | Paradoxes, Intuitionism, and Proof-Theoretic Semantics. In Thomas Piecha und Kai F. Wehmeier (Herausgeber), Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol. 29, pages 363-374. Springer, 2024. | Zur Publikation |
| Goranko, Valentin; Rumberg, Antje | Temporal Logic. In E. N. Zalta und U. Nodelman (Herausgeber), The Stanford Encyclopedia of Philosophy, 2024. | Zur Publikation |
| Pégny, Maël | Is Virality A Digital Concept?. In Valérie Schaeffer und Fr´ed´eric Pailler (Herausgeber), Online Virality. Studies in Digital History and Hermeneutics, De Gruyter, 2024. | Zur Publikation |
| Mainzer, Klaus; Küchlin, Wolfgang | Logische Grundlagen der klassischen KI. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 125-141. Springer,
2024. | Zur Publikation |
| Mainzer, Klaus | Anfänge der Künstlichen Intelligenz in Technik- und Philosophiegeschichte. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 13-32. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Von der Beweistheorie zu maschinellen Beweisassistenten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 179-212. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Chatbots und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 265-283. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Grundlagen zellulärer Automaten. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 307-330. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Verifikation und Sicherheit für Neuronale Netze und Machine Learning. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 385-410. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Statistisches und kausales Lernen im Machine Learning. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 411-431. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Neuromorphe Computer und Künstliche Intelligenz. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 433-455. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Superintelligenz durch Quantencomputer?. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 457-504. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Grundlagen genetischer und evolutionärer Algorithmen. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz. pages 331-356. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Maschinelle Sprachverarbeitung, Kognition und Sprachphilosophie. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 237-264. Springer, 2024. | Zur Publikation |
| Mainzer, Klaus | Einführung. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch Künstliche Intelligenz, 1-9. Springer, 2024. | Zur Publikation |
| Kahle, Reinhard | Grundlagen des logischen Schließens. In Klaus Mainzer (Herausgeber), Philosophisches Handbuch K¨unstliche Intelligenz. Springer, 2024. | Zur Publikation |
| Piecha, Thomas | Karl Popper on Deduction. In A. Piccolomini d’Aragona (Herausgeber), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library, vol. 481, pages 201-321. Springer, 2024. | Zur Publikation |
