A simple logic of the hide and seek game
From MaRDI portal
Publication:6057624
DOI10.1007/s11225-023-10039-4OpenAlexW4376876854MaRDI QIDQ6057624
Fenrong Liu, Sujata Ghosh, Dazhu Li, Yaxin Tu
Publication date: 26 October 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2115/84813
computational complexitymodal logicproduct logiccops and robber gameshide and seek gamesidentity constant
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The decision problem of modal product logics with a diagonal, and faulty counter machines
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Axiomatization of modal logic squares with distinguished diagonal
- Multi-dimensional modal logic
- Many-dimensional modal logics: theory and applications
- Kernels in directed graphs: A poison game
- Hybrid languages
- On the subtle nature of a simple logic of the hide and seek game
- A simple logic of functional dependence
- On the right path: a modal logic for supervised learning
- Moving Arrows and Four Model Checking Results
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
- Learning and Teaching as a Game: A Sabotage Approach
- The unsolvability of the Gödel class with identity
- Products of modal logics, part 1
- Modal logics of sabotage revisited
- Satisfiability for relation-changing logics
- Relation-changing modal operators: Fig. 1.
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- Losing connection: the modal logic of definable link deletion
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- The undecidability of the domino problem
- Mechanizing Mathematical Reasoning
