The Modal Logics of the Poison Game
Francesca Zaffora Blando, Krzysztof Mierzewski, Carlos Areces
Topics & Concepts
BisimulationExpressive powerModal logicMathematicsModalDiscrete mathematicsPSPACEGraphClass (philosophy)CombinatoricsComputer scienceTheoretical computer scienceComputational complexity theoryAlgorithmArtificial intelligenceChemistryPolymer chemistryLogic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and Negotiation