An Undecidability Proof for the Plan Existence Problem
arXiv:2604.22736v1 Announce Type: cross
Abstract: The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether there exists a sequen…