| 000 |
|
01313nam0 2200277 450 |
| 001 |
|
0 |
| 005 |
|
20250601130937.0 |
| 010 |
__ |
■a978-7-03-078239-7■dCNY98.00 |
| 100 |
__ |
■a20240615d2024 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a正规多模态逻辑研究■f赵贤著■Azheng gui duo mo tai luo ji yan jiu |
| 210 |
__ |
■a北京■c科学出版社■d2024.5 |
| 215 |
__ |
■a196页■c图■d24cm |
| 300 |
__ |
■a国家社科基金后期资助项目 |
| 314 |
__ |
■a赵贤, 女, 河北雄县人, 哲学博士。现为河北大学哲学与社会学学院副院长, 哲学系主任, 教授, 博士研究生导师; +...... |
| 320 |
__ |
■a有书目 (第186-196页) |
| 330 |
__ |
■a本书以模态交互作用公理为视角, 构建了多模态逻辑一般系统, 为形式化研究各种类型的模态提供了一般的逻辑框架; 证明了+...... |
| 333 |
__ |
■a本书适合逻辑学专业、哲学专业、数学专业, 以及计算机领域的研究人员 |
| 606 |
0_ |
■a模态逻辑■x研究■Amo tai luo ji |
| 690 |
__ |
■aB815.1■v5 |
| 701 |
_0 |
■a赵贤■4著■Azhao xian |
| 801 |
|
■aCN■bGSXY■c20250601 |
| 905 |
|
■aGSXY■fB815.1/Z965*1■g1843602■g1843603■g1843604 |