Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability

Qian Chen, Dazhu Li

The logic of the hide and seek game LHS was proposed to reason about search missions and interactions between agents in pursuit-evasion environments. As proved in literature, havin…