俊伟

逻辑、信息和互动.pdf

本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程,阐述了模态逻辑的数学理论。