A proof system for separation logic with magic wand.
Wonyeol LeeSungwoo ParkPublished in: POPL (2014)
Keyphrases
- modal logic
- intuitionistic logic
- cut elimination
- classical logic
- proof search
- linear logic
- linear time temporal logic
- inference rules
- sequent calculus
- logic programming
- epistemic logic
- nonmonotonic logics
- automated reasoning
- temporal logic
- multi valued
- index structure
- databases
- data sets
- theorem proving
- orders of magnitude
- modal operators
- proof theory
- multi dimensional
- expert systems
- knowledge base
- artificial intelligence