A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.
Christoph MathejaJens PagelFlorian ZulegerPublished in: ACM Trans. Comput. Log. (2023)
Keyphrases
- logic programming
- logic based argumentation
- predicate logic
- decision making
- deductive reasoning
- logic programs
- probabilistic logic
- defeasible logic
- asynchronous circuits
- classical logic
- proof theory
- modal logic
- theorem proving
- computational properties
- decision makers
- predicate calculus
- deontic logic
- natural language
- machine learning