Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic - Duží, Marie; Jespersen, Bjorn; Materna, Pavel (Springer Netherlands : Imprint: Springer, 2010)