The study of monadic algebraic structures and fuzzy logic has evolved into a vibrant research area that bridges abstract algebra with the nuanced reasoning of uncertainty. By incorporating unary ...

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 ...

Abstract: Model-checking for first- and monadic second-order logic in the context of graphs has received considerable attention in the literature. It is well-known that the problem of verifying ...

Abstract: Cost monadic logic extends monadic second-order logic with the ability to measure the cardinality of sets and comes with decision procedures for boundedness related questions. We provide new ...

The study of monadic algebraic structures in combination with fuzzy logic offers a robust framework for modelling and analysing uncertainty and graded truth. These frameworks extend classical ...

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...

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 ...