Procedural Semantics for Hyperintensional Logic - DuÅ¾Ã, Marie; Du#í, Marie; Jespersen, Bjorn; Materna, Pavel (Springer Netherlands, 2010)