Bi-Weekly Talk: Provenance Analysis for Guarded Logics

Wednesday, February 20, 2019, 10:30am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

 

Speaker: Katrin Dannert

 

Abstract:

Provenance analysis is an approach to the evaluation of formulae originally developed in database theory. In a provenance setting, formulae are not just evaluated as 'true' or 'false', as in the usual Boolean interpretation. Instead they are given values in a commutative semiring, which yield additional information. In this talk, the concept of provenance analysis is applied to guarded logics. Guarded logics restrict the use of certain types of subformulae, for example quantified subformae. These subformulae may only occur if they are accompanied by an atomic condition, the guard. Guarded logics, which include for instance modal logic, have very desirable computational properties and are useful in many applications, like program analysis and verification.