五千年(敝帚自珍)

主题:兄弟偶尔想起来一个困惑我已久的一个搏奕论方面的问题 -- niwo

全看分页树展 · 主题 跟帖
家园 研究这类问题的学科叫做“模态逻辑”

可以参考这个

外链出处

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河