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

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

This is a preview. Log in through your library . Abstract An example of finite tree $M_{o}$ is presented such that its predicate logic (i.e. the intermediate ...

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: Sometimes AI has to deal with incomplete problems. Knowledge Representation is the main component to solve the problems in AI. Various Knowledge representation techniques are available to ...

Abstract: We introduce a new axiomatic system of modal logic, BM, extending classical first order logic by adding the binary modal symbol “ ” intended to simulate the metamathematical provability ...