Procedural Semantics for Hyperintensional Logic