Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic - Du, Marie (Logic, Epistemology, and the Unity of Science, 2010)