Uniform interpolants were largely studied in non-classical propositional logics since the
nineties, and their connection to model completeness was pointed out in the literature. A …

Verification of Data-Aware Processes via Satisfiability Modulo Theories Page 1 123 LNBIP 470
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …

We devise three strategies for recognizing admissibility of non-standard inference rules via
interpolation, uniform interpolation, and model completions. We apply our machinery to the …

In recent years, a huge body of research has been devoted to the challenging problem of
integrating data and processes to achieve a more comprehensive understanding on their …

In this survey, we report our recent work concerning combination results for interpolation and
uniform interpolation in the context of quantifier-free fragments of first-order theories. We …

It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the
amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic …

In this document, I will survey some of the research in algebra, topology, logic, and the
foundations of computer science that I have contributed to since completing my PhD in 2014 …

In the last two decades, Craig interpolation has emerged as a powerful tool in formal
verification. Interpolants are largely exploited as an efficient method to approximate the …