Unifying Decidable Entailments in Separation Logic with Inductive Definitions.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: CADE (2021)

Keyphrases

deductive reasoning
linear time temporal logic
logic programming
machine learning
modal logic
inductive learning

automata theoretic
automated reasoning
functional programs
classical logic
computational properties
truth values

knowledge representation
first order logic
logic based argumentation
fixed point semantics
digital circuits

multi valued
transitive closure
inductive inference
concept learning
programming language