 A promising recent semantic framework for hyperintensional logics is that of truthmaker semantics (Fine 2017). On such a semantics, propositions are interpreted by “truthmakers”, resp. “falsemakers” rather than sets of worlds, where these entities are related to one another in terms of a mereological (parthood) relation. For instance, a truthmaker for “it rains” would be simply a state of it’s raining, nothing less and nothing more. A truthmaker for “(it rains and the sun shines) or (it rains and the sun does not shine)” can be either of two things: a fusion of a state of it’s raining with a state of the sun’s shining, or a fusion of a state of it’s raining with a state of the sun’s not shining (and hence, the latter, a falsemaker of “the sun shines”). Formally, the set of truthmakers of \(p\) may, e.g., be \(\{X, X'\}\), while the set of truthmakers of \((p \amp q) \vee(p \amp \neg q)\) may be \(\{X*Y,\) \(X*Z,\) \(X'*Z,\) \(X'*Z\}\), with the “*” symbol denoting a fusion  operation.[97]  Fine applied this framework to the logic of imperatives and to deontic logic proper in a series of papers (Fine 2018a,b) where “actions” play the role usually played by truthmakers in the semantics of indicative sentences, and analogous to the truthmaking and falsemaking relations between truthmakers and propositions, such actions can be either in compliance with or contravening a given command. For instance, the imperative “Sing or dance!” is interpreted in terms of (a) the actions that are in (exact) compliance with it, and (b) the actions that are in (exact) contravention of it. For the case of conditional obligations, additional complications arise, as one may also avoid a conditional by making its antecedent  false.[98]  Similar ideas, though worked out in different ways, can be found in Anglberger and Korbmacher 2020, which also relate truthmaker semantics to Goble’s logic BDL from Goble 2013. For a full-fledged discussion of the hyperintensionality of normativity and formal approaches to it, see Faroldi 2019.