机读格式显示(MARC)
- 000 01240nam0 2200301 450
- 010 __ |a 978-7-308-16252-4 |d CNY49.00
- 099 __ |a CAL 012016133555
- 100 __ |a 20161028d2016 em y0chiy50 ea
- 200 1_ |a 混合空间逻辑 |A hun he kong jian luo ji |d = Hybrid logic of spaces |f 王轶著 |z eng
- 210 __ |a 杭州 |c 浙江大学出版社 |d 2016
- 215 __ |a 293页 |c 图 |d 23cm
- 306 __ |a 本书承蒙浙江大学董氏文史哲研究奖励基金资助出版
- 314 __ |a 王轶, 江苏南通人, 1981年生。主要从事模态逻辑、主体与多主体系统的逻辑和社会网络的理论研究。
- 320 __ |a 有书目 (第259-275页) 和索引
- 330 __ |a 本书系统化地介绍作者在混合空间逻辑这一领域的研究成果。混合空间逻辑是模态逻辑的两个子领域──子集空间逻辑和混合逻辑──的交叉分支, 该逻辑可用于进行知识以及认知努力的推理, 并且比常见的认知逻辑具有更强的刻画能力。本书内容相当前沿性, 对逻辑学、数学及理论计算机等相关学科具有一定应用价值。
- 510 1_ |a Hybrid logic of spaces |z eng
- 606 0_ |a 模态逻辑 |A mo tai luo ji |x 研究
- 701 _0 |a 王轶, |A wang yi |f 1981- |4 著
- 801 _0 |a CN |b 人天书店 |c 20161028
- 905 __ |a JHUD |d B815.1/5