Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic.

Youngju Song Minki Cho Dongjae Lee Chung-Kil Hur

Published in: CoRR (2021)

Keyphrases

modal logic
classical logic
logic programming
multi valued
contextual information
probability theory
automated reasoning
bounded model checking
learning algorithm
proof theory
digital circuits
nonmonotonic logics
query refinement
context sensitive
expert systems
natural language
case study