On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: CoRR (2018)

Keyphrases

bounded model checking
classical logic
linear temporal logic
modal logic
data quality
automated reasoning
multi valued
defeasible logic
predicate logic
datalog programs
highly expressive
natural deduction
epistemic logic
set theory
formal verification
real time
logic programming
neural network
databases