Procedural Semantics For Hyperintensional Logic Foundations And Applications Of Transparent | Desertcart Cote D' Ivoire