 In Fine (2017), the author explains the basic framework of truthmaker (‘exact’) semantics for propositional logic. It is based not on possible worlds, but rather on states or situations; the crucial difference is that, while a possible world settles the truth-value of any possible statement (i.e., given a formula and a possible world, the formula is either true or else false), a situation might not be enough to decide whether a given sentence holds.