The Effects of Adding Reachability Predicates in Propositional Separation Logic.
Stéphane DemriÉtienne LozesAlessio MansuttiPublished in: FoSSaCS (2018)
Keyphrases
- horn clauses
- sound and complete axiomatization
- multi valued
- probabilistic logic
- first order logic
- deductive reasoning
- transitive closure
- autoepistemic logic
- classical logic
- default logic
- predicate calculus
- quantifier free
- state space
- knowledge base
- proof procedure
- asynchronous circuits
- automated reasoning
- theorem proving
- modal logic
- belief revision
- user defined
- logic programming
- query language