Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.

Bernard Boigelot Pascal Fontaine Baptiste Vergain

Published in: CADE (2023)

Keyphrases

predicate logic
logical formulas
pairwise
description logics
constraint databases
database
user defined
query answering
convex functions
decision procedures
model checking
integrity constraints
transitive closure
horn clauses