A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)

Domenico Cantone, Marianna Nicolosi-Asmundo, Ewa Orłowska

We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a res…