时态逻辑查看源代码讨论查看历史

原图链接来自 豆瓣网 的图片

《时态逻辑》，时态逻辑的入门著作。R.P.麦克阿瑟(R.P.McArthur)著。1976年出版。

内容简介

本书约7万字，系统地介绍了时态逻辑。从建立时态逻辑的动机出发，首先引入时态算子P，F，H，G，N，然后，为PP，FP，HP和GP给出一个解释的模型:三元组<Ψ>，R，φ，ψ是一个真值指派，R是二元关系，Ω是真值指派的集合。量化的命题也可用它来解释。最小的时态逻辑系统是Kt，它的公理最少，并且包含经典逻辑的公理。Kt的扩展有:线性系统CL，无终结的线性时态逻辑SL，稠密的线性时态系统PL，循环系统PCr。分支系统CR是基本的分支时态逻辑，也是Kt的扩展。分支系统Kb。是CR的扩展，保持向后的线性；(PA&PB)&8835；(PA&B) ∨ (P((A&PB)VP(PA&B)))。本书讨论了时间模态，模态算子在不同的意义下由时态算子定义，以及在此定义下的系统所具有的定理；还讨论了量化的时间逻辑，给出其形式系统，对时态逻辑的可靠性和完全性定理也作了专门研究。

工具书的发展

“工欲善其事，必先利其器”。工具书是一种依据特定的需要，广泛汇集相关的知识或文献资料，按一定的体例和检索方式编排，专供查资料线索的图书、文献，是人们在书山探宝，学海求知的“器”。学会和善于利用工具书，是做学问的一项基本功。

我国的工具书历史悠久，源远流长。据史籀记载，公元前8世纪周宣王就有字书《史籀篇》。如果说先秦是工具书的萌芽时期的话，那么两汉则是工具书的奠基时期。《方言》，《说文解字》《别录》《七略》等一批定型的字典、词典、书目，为以后工具书的发展打下了坚实的基础。

随着工具书的不断发展，种类也变得越来越多，除字典、词典、百科全书外，年鉴、手册在工具书类型中发展较快，品种多，规模大，既有综合性的，也有专门或专科性的，既有学术性的，也有生活方面的。

视频

时态逻辑 相关视频

11.6时态逻辑 逻辑学1为什么要学习逻辑学