Two Results on Separation Logic With Theory Reasoning.
Mnacho EchenimNicolas PeltierPublished in: CoRR (2022)
Keyphrases
- proof theory
- deductive reasoning
- proof theoretic
- commonsense reasoning
- automated reasoning
- formal theory
- logical framework
- computational properties
- causal reasoning
- default reasoning
- set theory
- order of magnitude reasoning
- reasoning process
- knowledge representation
- reasoning engine
- qualitative reasoning
- intuitionistic logic
- formal models
- computer algebra
- probability theory
- boolean algebra
- probabilistic logic
- propositional theories
- nonmonotonic reasoning
- asynchronous circuits
- reasoning processes
- knowledge representation and reasoning
- reasoning systems
- logical inference
- logical rules
- modal logic
- logic programming
- reasoning problems
- multi valued
- reasoning tasks