思来想去，总之开题准备从认知逻辑的方向开了，在读资料的时候突然回忆起来我好像就是因为模态逻辑才想读逻辑，某种意义上我终于回到开始……