Procedural Semantics For Hyperintensional Logic Foundations And Applications Of Transparent | Desertcart Hungary