Local Search and Modal Logic