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

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

There are three assertions available, applicable to arrays. containAll -- Asserts that all array items are true in respect to a predicate. containOne -- Asserts that at least one array item is true in ...

For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...

Learning Goal: This module examines the relationship between Calypso rules and formal logic. You will learn how the logical operations AND, OR, and NOT, and the existential quantifier "there exists" ...

Abstract: Kripke-style semantics is suggested for the provability logic with quantifiers on proofs corresponding to the standard Gödel proof predicate. It is proved that the set of valid formulas is ...