Logical entailment can be formulated in hyperintensional frameworks (e.g., Fine's truthmaker semanti...