The logic of the hide and seek game \(\textbf{LHS}\) was proposed to capture interactions between agents in pursuit-evasion environments. In this paper, we explore a hybrid extension of \(\textbf{LHS}\) and show that such an extension is beneficial in several aspects. We will show that it improves the technical properties of the resulting logical system, and expands the potential applications of the system. Specifically, we will investigate the expressive power of the hybrid logic of the hide and seek game \({\mathcal {H}}(\textbf{LHS})\) and its crucial fragment \({\mathcal {H}}(\textbf{LHS}^{-})\) , at both model and frame levels. We will present complete Hilbert-style proof systems for both the logics \({\mathcal {H}}(\textbf{LHS}^{-})\) and \({\mathcal {H}}(\textbf{LHS})\) , which in fact provides a solution to a known open problem.
