Procedural Semantics for Hyperintensional Logic - DuÅ¾Ã, Marie (Springer Netherlands, 2010)