An Outline of Separation Logic.

Abhishek Kr Singh Raja Natarajan

Published in: CoRR (2017)

Keyphrases

modal logic
real time
logical framework
nonmonotonic logics
predicate logic
data sets
multi valued
classical logic
digital circuits
proof theory
probability theory
defeasible logic
formal theory
logical operations