Modal logic and local search