Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic - DuΕΎΓ, Marie (Springer Science+Business Media B.V., 2010)