From Hybrid Modal Logic to Matching Logic and back

07/11/2019

∙

by   Ioana Leustean, et al.

∙

0

∙

share

Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, which should benefit both systems.