Strong-Separation Logic.

Jens Pagel Florian Zuleger

Published in: CoRR (2020)

Keyphrases

logic programming
predicate logic
database
high level
modal logic
classical logic
abductive reasoning
epistemic logic
real time
data mining
multi agent systems
theorem proving
automated reasoning
multi valued
modal operators
asynchronous circuits