Expressive completeness of separation logic with two variables and no separating conjunction.

Stéphane Demri Morgan Deters

Published in: CSL-LICS (2014)

Keyphrases

modal logic
logic programming
random variables
relevant variables
multi valued
automated reasoning
variable selection
propositional variables
data quality
artificial intelligence
database
logical framework
predicate logic
truth values
neural network
logical formulas
data sets