Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic - Duzi, Marie (Logic, Epistemology, and the Unity of Science, 2010)