Separation Logic with One Quantified Variable.

Stéphane Demri Didier Galmiche Dominique Larchey-Wendling Daniel Méry

Published in: CSR (2014)

Keyphrases

modal logic
multi valued
asynchronous circuits
classical logic
defeasible logic
predicate logic
data sets
automated reasoning
deontic logic
sound and complete axiomatization
neural network
data mining
multiscale
probabilistic logic
nonmonotonic logics