From Hybrid Modal Logic to Matching Logic and Back
arXiv:1907.05029 · doi:10.4204/EPTCS.303.2
Abstract
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.
In Proceedings FROM 2019, arXiv:1909.00584