A simple logic of the hide and seek game

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

zbMATH Keywords

computational complexitymodal logicproduct logiccops and robber gameshide and seek gamesidentity constant

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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