Procedural Semantics For Hyperintensional Logic Foundations And Applications Of Transparent | Desertcart Northern Mariana Islands