A Simple Logic of the Hide and Seek Game
Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
Topics & Concepts
DecidabilityUndecidable problemSimple (philosophy)Normal modal logicAccessibility relationComputer scienceModal logicDynamic logic (digital electronics)Extension (predicate logic)Connection (principal bundle)SimplicityMathematicsClass (philosophy)Expressive powerTheoretical computer scienceMultimodal logicDiscrete mathematicsAlgebra over a fieldModalDescription logicProgramming languageArtificial intelligencePure mathematicsPhilosophyQuantum mechanicsEpistemologyTransistorPhysicsGeometryPolymer chemistryChemistryVoltageLogic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification