Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction.
Stéphane DemriMorgan DetersPublished in: ACM Trans. Comput. Log. (2016)
Keyphrases
- truth values
- highly expressive
- relevant variables
- logic programming
- multi valued
- sound and complete axiomatization
- conditional probabilities
- modal logic
- variable selection
- automated reasoning
- causal models
- classical logic
- structural model
- causal relationships
- database
- np complete
- learning algorithm
- neural network
- databases
- data sets