Research Article
Modal Logics for the Poison Game: Axiomatization and Undecidability
Penghao Du, Fenrong Liu, and Dazhu Li
Penghao Du, Fenrong Liu, and Dazhu Li
Abstract
In the tradition of memory logic, two comparatively weak ...