ISBN/价格: | 7-01-005322-7:RMB25.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 广义模态逻辑及其应用/.何向东编著 |
出版发行项: | 北京:,人民出版社:,2005.12 |
载体形态项: | 401页:;+16开 |
提要文摘: | 本书对国内外已有的广义模型逻辑成果进行了比较全面的梳理和归纳,阐明了狭义模态逻辑的基础,并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入广义模态逻辑的范围。 |
题名主题: | 模态逻辑 机器语言研究 |
中图分类: | H087 |
个人名称等同: | 何向东 编著 |
记录来源: | CN LCTBU 20060716 |