Computational logics are used in various tasks that automate reasoning in, for example, information systems. The field has proved very successful in recent decades, but the resulting explosion of related reseach has lead to the results of the field being scattered and unorganized. This calls for a unified foundation for the discipline. This project takes steps towards building such foundations. A further direction of the project involves developing formalisms that can be used for understanding modern computation frameworks based on artificial intelligence (AI). Indeed, methods based on modern AI often operate using black-box classifiers. This means that while we may obtain answers to very complex questions, we do not know how and why those answers were produced. By using tools based on formal logic, it is possible to better understand such black boxes.

2025

2029