The Effects of Adding Reachability Predicates in Propositional Separation Logic.
Stéphane DemriÉtienne LozesAlessio MansuttiPublished 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