檢視时态逻辑的原始碼

[[File:时态逻辑.jpeg|有框|右|<big></big>[https://img1.doubanio.com/view/subject/s/public/s6644799.jpg 原图链接][https://book.douban.com/subject/6188956/ 来自 豆瓣网 的图片]]]

《'''时态逻辑'''》，时态[[逻辑]]的入门著作。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世纪周宣王就有字书《[[史籀篇]]》<ref>[https://www.kekeshici.com/lishi/zhidu/302225.html 史籀篇]，可可诗词，2020-09-11</ref>。如果说先秦是工具书的萌芽时期的话，那么两汉则是工具书的奠基时期。《方言》，《[[说文解字]]》《别录》《七略》等一批定型的[[字典]]、词典、书目，为以后工具书的发展打下了坚实的基础。

随着工具书的不断发展，种类也变得越来越多，除字典、词典、百科全书外，[[年鉴]]、手册<ref>[https://www.doc88.com/p-9058753746083.html 07 中文工具书-年鉴 手册]，道客巴巴，2013-08-26</ref>在工具书类型中发展较快，品种多，规模大，既有综合性的，也有专门或专科性的，既有[[学术]]性的，也有生活方面的。

==视频==
===<center> 时态逻辑 相关视频</center>===
<center>11.6时态逻辑</center>
<center>{{#iDisplay:q0368000taq|560|390|qq}}</center>

<center>逻辑学1为什么要学习逻辑学</center>
<center>{{#iDisplay:p3080zlttmc|560|390|qq}}</center>

==参考文献==
[[Category:040 類書總論；百科全書總論]]