Hyperintensional logic