Switch to: References

Add citations

You must login to add citations.
  1. Hybrid Logic of the Hide and Seek Game.Katsuhiko Sano, Fenrong Liu & Dazhu Li - forthcoming - Studia Logica:1-33.
    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})$$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Simple Logic of the Hide and Seek Game.Dazhu Li, Sujata Ghosh, Fenrong Liu & Yaxin Tu - 2023 - Studia Logica 111 (5):821-853.
    We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation