Completeness and incompleteness of basic matching logic

Xiaohong Chen, Grigore Rosu

Basic matching logic is matching logic without definedness. Symbols are interpreted as set-valued operations, element variables denote singletons and are bound by $\exists$, and no…