The Effects of Adding Reachability Predicates in Propositional Separation Logic.

Stéphane Demri Étienne Lozes Alessio Mansutti

Published in: CoRR (2018)

Keyphrases

horn clauses
sound and complete axiomatization
multi valued
first order logic
propositional logic
quantifier free

deductive reasoning
probabilistic logic
proof procedure
state space
modal logic

predicate calculus
transitive closure
knowledge representation
classical logic
truth maintenance systems

logic programs
automated reasoning
asynchronous circuits
probabilistic reasoning
inductive logic programming