Oh, I'm sure there is, but it's hard to do without also losing the nice properties of the purely logical formulation, and AFAIK that's the main reason why these

Oh, I'm sure there is, but it's hard to do without also losing the nice properties of the purely logical formulation, and AFAIK that's the main reason why these approaches are not more popular. If you have a link to an interesting take on it, please share!