登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 西方国家安全理论演进 》 售價：NT$ 398 《 记号132 制造时间：人类计时简史 》 售價：NT$ 352 《 变形金刚全新漫画战火重燃+故土难归+绝境逢生（全3册）（能量块宇宙系列合订本，刚丝不容错过，美国漫画 》 售價：NT$ 1040 《 看见国家宝藏：60件国宝讲述中华文明 》 售價：NT$ 653 《 闺思：宋元社会变迁下的女性与贞节观 》 售價：NT$ 500 《 劫掠、贸易与海洋帝国：海上劳工与英格兰的崛起，1570―1630 》 售價：NT$ 500 《 新HSK教程1 》 售價：NT$ 454 《 辨证录：彩图版全本：全两册 》 售價：NT$ 1010

建議一齊購買： + NT$ 347 《康德《纯粹理性批判》导读》 + NT$ 347 《墨子（最美墨子文化传承守望者、中国人大哲学教授杨武金著作）未》 + NT$ 254 《大学思维：批判与创造（第二版）》 + NT$ 194 《孔子语录》 + NT$ 254 《模糊的丧失 如何带着未解决的伤痛生活 》 + NT$ 1015 《海德格尔文集 讨论班》 內容簡介： 在逻辑学研究中，可判定性问题一直是一个重要的理论问题。本书在前人研究的基础上，进一步探索 STIT 逻辑的可判定性问题。主要成果包括:一、在假设单调性的要求下，证明了各种团体 STIT 逻辑的可判定性;二、对时态 STIT 逻辑的可判定性问题做出了实质性的推进;三、获得了一般性的可判定性结果，适用于结合多种模态算子的各种逻辑。在证明方法上，主要采用强有穷框架性和归约法，其中强有穷框架性通过子模型和滤模型相结合的技术实现，而归约法则借助拟模型和Rabin 树理论完成。本书从 STIT 逻辑的基础知识出发，逐步探讨 CSTIT 逻辑ASTIT 逻辑以及时态 STIT 逻辑的可判定性，最终拓展到一般性的可判定性结果。 本书合适从事模态逻辑研究的学者阅读，特别是研究时态逻辑和行动逻辑的学者，同时也可供逻辑学相关专业的学生学习和参考。 關於作者： 张炎，武汉大学哲学博士，现为中国人民大学哲学系教师。主要研究方向包括模态逻辑、哲学逻辑和非单调逻辑。在《逻辑学研究》、Studia Logica、The Review of Symbolic Logic 等国内外知名期刊发表学术论文数篇。现任学术兼职：现代逻辑学会常务理事、中国逻辑学会理事和北京逻辑学会理事。 目錄： 引言 1 第一章 STIT 逻辑 5 1.1 分支时间框架 . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 STIT 框架 . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3 STIT 算子间的逻辑关系 . . . . . . . . . . . . . . . . . . . 14 第二章 CSTIT 逻辑 17 2.1 语法与语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.1.2 标准语义 . . . . . . . . . . . . . . . . . . . . . . . 18 2.1.3 克里普克语义 . . . . . . . . . . . . . . . . . . . . . 19 2.2 两种语义的等价性 . . . . . . . . . . . . . . . . . . . . . . 20 2.3 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.3.1 子框架与子模型 . . . . . . . . . . . . . . . . . . . . 23 2.3.2 滤模型 . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.3.3 有穷框架性 . . . . . . . . . . . . . . . . . . . . . . 27 第三章 ASTIT 逻辑 29 3.1 语法和语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.1.2 标准语义 . . . . . . . . . . . . . . . . . . . . . . . 30 3.1.3 简单语义 . . . . . . . . . . . . . . . . . . . . . . . 33 3.2 两种语义的等价性 . . . . . . . . . . . . . . . . . . . . . . 36 3.3 拟模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 3.4 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 第四章 时态 STIT 逻辑 (一) 55 4.1 语法与语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 56 4.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 56 4.1.2 标准语义 . . . . . . . . . . . . . . . . . . . . . . . 57 4.1.3 克里普克语义 . . . . . . . . . . . . . . . . . . . . . 59 4.2 两种语义之间的对应关系 . . . . . . . . . . . . . . . . . . 66 4.2.1 从标准语义到克里普克语义 . . . . . . . . . . . . . 67 4.2.2 从克里普克语义到标准语义 . . . . . . . . . . . . . 75 4.3 框架长度强有穷性 . . . . . . . . . . . . . . . . . . . . . . 83 4.4 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 4.4.1 滤模型 . . . . . . . . . . . . . . . . . . . . . . . . . 91 4.4.2 互模拟与互拟商 . . . . . . . . . . . . . . . . . . . . 93 4.4.3 强有穷框架性 . . . . . . . . . . . . . . . . . . . . . 100 第五章 时态 STIT 逻辑 (二) 111 5.1 语法与语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.2 语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.2 可数模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.3 拟模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 5.4 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 5.4.1 Z-型 Rabin 树 . . . . . . . . . . . . . . . . . . . . 137 第五章 时态 STIT 逻辑 (二) 111 5.1 语法与语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.1.2 语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 112 5.2 可数模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.3 拟模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 5.4 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 5.4.1 Z-型 Rabin 树 . . . . . . . . . . . . . . . . . . . . 137 第六章 一般逻辑 151 6.1 语法与语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 152 6.1.1 语法 . . . . . . . . . . . . . . . . . . . . . . . . . . 152 6.1.2 语义 . . . . . . . . . . . . . . . . . . . . . . . . . . 153 6.2 框架长度强有穷性 . . . . . . . . . . . . . . . . . . . . . . 157 6.3 可判定性 . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 6.3.1 滤模型 . . . . . . . . . . . . . . . . . . . . . . . . . 161 6.3.2 框架条件 . . . . . . . . . . . . . . . . . . . . . . . 164 6.3.3 强有穷框架性 . . . . . . . . . . . . . . . . . . . . . 172 6.4 应用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174 结语 179 致谢 183 参考文献 185 符号索引 191 名词索引 193

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2026 （香港）大書城有限公司　All Rights Reserved.