逻辑、信息和互动.pdf 本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程,阐述了模态逻辑的数学理论。 叁号仓库 2022年07月17日 0 点赞 0 评论 1383 浏览