This is my master thesis project, supervised by Prof. Dr. Jan Niehues and Prof. Dr. Gregor Betz, both from the Karlsruhe Institute of Technology. It is about teaching different large language models ...

Predicate logic is a mathematical model that is used for reasoning with predicates. Predicates are functions that map variables to truth values. They are essentially boolean functions whose value ...

Abstract: This article deals with some probabilistic model theory for intuitionistic predicate logic. We introduce the notions of intuitionistic probability, probabilistic structure for intuitionistic ...

Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound and rigorous reasoning — one that works ...

Abstract: Formal languages effectively outline robots’ task specifications, yet current temporal logic struggles to balance semantic expression with solution speed. To address this challenge, we ...