tl;dr: Since the AI people have lost interest in the frame problem (because they think they can ignore it like the new wave folks, work around it like Fodor, or like Shanahan, think of it as solved) the philosophers would like it back please.

This was a big concern when I was an undergrad in the 1990s. I've since wondered if bunched implications / separation logic / separation algebras / ... [1] that emerged in the early 2000s has resolved this well enough. Opinions?

[1] https://en.wikipedia.org/wiki/Separation_logic