There are a lot of excellent works in proof theory using various forms of Sequent Calculi (SC)
as the basic formal systems. 1 This book is of a different character. It is not a systematic …

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 …

Uniform interpolants have been largely studied in non-classical propositional logics since
the nineties; a successive research line within the automated reasoning community …

This paper presents a uniform and modular method to prove uniform interpolation for several
intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent calculi …

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 …

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 …

The uniform interpolation property in a given logic can be understood as the definability of
propositional quantifiers. We mechanise the computation of these quantifiers and prove …

A method is presented that connects the existence of uniform interpolants to the existence of
certain sequent calculi. This method is applied to several modal logics and is shown to cover …

A variety V is said to be coherent if every finitely generated subalgebra of a finitely presented
member of V is finitely presented. It is shown here that coherence corresponds to a key …

The thesis investigates methods for uniform interpolation in expressive description logics.
Description logics are formalisms commonly used to model ontologies. Ontologies store …