On the subtle nature of a simple logic of the hide and seek game

DOI10.1007/978-3-030-88853-4_13OpenAlexW3203302165MaRDI QIDQ2148792

Sujata Ghosh, Fenrong Liu, Yaxin Tu, Dazhu Li

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_13

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

A modal logic for supervised learning ⋮ A simple logic of the hide and seek game

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• 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
• Vertex-to-vertex pursuit in a graph
• Hybrid languages
• A simple logic of functional dependence
• On the right path: a modal logic for supervised learning
• Moving Arrows and Four Model Checking Results
• 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
• Modal logics of sabotage revisited
• Satisfiability for relation-changing logics
• Losing connection: the modal logic of definable link deletion
• The undecidability of the domino problem

This page was built for publication: On the subtle nature of a simple logic of the hide and seek game