Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability

von Chen, Qian
Veröffentlicht in DaLí (5. : 2023 : Tiflis) Dynamic logic - new trends and applications (2024)

On the Subtle Nature of a Simple Logic of the Hide and Seek Game

von Li, Dazhu
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Guangxu Huitong Xian zhi

von Sun, Bingyu
Veröffentlicht 2002