书目信息 机读格式(MARC)
STIT逻辑的可判定性研究
| ISBN/价格： | 978-7-208-19470-0:CNY72.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 310000 |
| 题名责任者项： | STIT逻辑的可判定性研究/.张炎著 |
| 出版发行项： | 上海:,上海人民出版社:,2025.06 |
| 载体形态项： | 195页:;+图:;+24cm |
| 一般附注： | “教育部哲学社会科学研究后期资助项目”(23JHQ031)资助 |
| 提要文摘： | 本书在前人研究的基础上，进一步探索STIT逻辑的可判定性问题，内容包括STIT逻辑、CSTIT逻辑、ASTIT逻辑、时态STIT逻辑等。 |
| 并列题名： | On the decidability of STIT logics eng |
| 题名主题： | 逻辑学 研究 |
| 中图分类： | B81 |
| 个人名称等同： | 张炎 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20250819 |