机读格式显示(MARC)

• 000 01217nam0 2200277 450

• 001 0000500060

• 005 20181209194700.0

• 010 __ |a 978-7-303-22522-4 |d CNY62.00

• 100 __ |a 20171202d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 必然、蕴涵、世界与关系 |A bi ran、yun han、shi jie yu guan xi |e 模态逻辑的历史和基本理论探究 |d = Necessity, implication, world and relation |e research on history and basic theory of modal logic |f 周祯祥著 |z eng

• 210 __ |a 北京 |c 北京师范大学出版社 |d 2017

• 215 __ |a 392页 |c 图 |d 24cm

• 300 __ |a 国家社科基金后期资助项目

• 320 __ |a 有书目和索引

• 330 __ |a 本书共十一章，内容包括：必然、蕴涵、可能世界、可通达关系、模态K系统及其扩张、模态树图语义学、K和K扩张系统的完备性、典范模型和合成收敛方法、模态逻辑基本理论的现代视野等。

• 510 1_ |a Necessity, implication, world and relation |e research on history and basic theory of modal logic |z eng

• 517 1_ |a 模态逻辑的历史和基本理论探究 |A mo tai luo ji de li shi he ji ben li lun tan jiu

• 606 0_ |a 模态逻辑 |A mo tai luo ji |x 研究

• 690 __ |a B815.1 |v 5

• 701 _0 |a 周祯祥 |A zhou zhen xiang |4 著

• 801 _0 |a CN |b LIB |c 20181209

• 905 __ |a LIB |d B815.1/3