On the Subtle Nature of a Simple Logic of the Hide and Seek Game
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
Topics & Concepts
DecidabilityUndecidable problemComputer scienceSimple (philosophy)Modal logicExpressive powerClass (philosophy)Constant (computer programming)Normal modal logicDynamic logic (digital electronics)ModalTheoretical computer scienceAlgorithmDescription logicProgramming languageMultimodal logicArtificial intelligenceEpistemologyPolymer chemistryVoltagePhilosophyChemistryQuantum mechanicsPhysicsTransistorLogic, Reasoning, and KnowledgeLogic, programming, and type systemsComputability, Logic, AI Algorithms