机读格式显示(MARC)

• 000 00959oam2 2200277 450

• 001 0000116511

• 005 20050624095800.0

• 010 __ |a 7-111-15689-7 |d CNY22.00

• 100 __ |a 20050221d2005 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 可能世界与智慧 |9 ke neng shi jie yu zhi hui |f 王震宇，卢东栋著

• 210 __ |a 北京 |c 机械工业出版社 |d 2005

• 215 __ |a 13,284页 |d 21cm

• 225 2_ |a 逻辑智慧丛书

• 330 __ |a 本书介绍了模态逻辑发展的概况以及传统模态逻辑的基本内容，区分了客观模态与主观模态、逻辑模态与非逻辑模态、从物模态与从言模态、狭义模态与广义模态等，同时也介绍了规范逻辑和时态逻辑以及模态命题逻辑演算的基本理论。

• 461 _0 |1 001002404118 |1 2001 |a 逻辑智慧丛书

• 606 0_ |a 模态逻辑 |x 研究

• 606 0_ |a 模态逻辑

• 690 __ |a B815.1 |v 4

• 701 _0 |a 王震宇 |9 wang zhen yu |c (逻辑) |4 著

• 701 _0 |a 卢东栋 |9 lu dong dong |4 著

• 801 _0 |a CN |b ZPHC |c 20050624

• 905 __ |a ZPHC |d B815.1/1