时间逻辑

✍ dations ◷ 2025-10-29 07:13:58 #时间逻辑

在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。三个基本时间算子是：总是、有时、和永不。计算树逻辑（CTL）、线性时间逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。

相关

实词实词是语文词类中的一种，是指词语中含有实际意义的词语。实词能单独充当句子成分，一般包含名词、动词、形容词、数词、量词、代词及副词等。根据组合能力的不同可以把实词分为
β详见细菌分类表β-变形菌网（学名：Betaproteobacteria）是变形菌门中的一纲，与γ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
全球饥饿指数全球饥饿指数（GHI）是一个多层面的统计工具，用于描述国家的饥饿状况。可利用GHI评估全球对抗饥饿方面的进步和失败。GHI每年更新一次。该指数由国际粮食政策研究所（IFPRI）采纳和进
DICOM医疗数位影像传输协定（DICOM，Digital Imaging and Communications in Medicine）是一组通用的标准协定，在对于医学影像的处理、储存、打印、传输上。它包含了档案格式的定义及网
PreЄ前寒武纪（英语：Precambrian）是地质年代中，对于显生宙之前数个宙（eon）的非正式涵盖统称，原本正式的名称是隐生宙或隐生元（Cryptozoic eon），但后来拆分成冥古宙、太古宙与元古宙三个时代
旅行者腹泻旅行者腹泻（traveler's diarrhea，簡稱TD）是一种肠胃道感染疾病。旅行者腹泻的定义是指在旅途之中，持续排出未成形粪便的状态。常常伴随着腹部痉挛性的疼痛、恶心、发烧、胀气。
革马拉《革马拉》（英语：Gemara，英语：Gemora或英语：Gemorra），犹太教经典，是《塔木德》的一部分。主要的内容是在于解释《密西拿》中犹太口传律法的意义。革马拉，源自于亚拉姆语的 גמרא（ga
National Institutes of Health美国国家卫生院（英语：National Institutes of Health，缩写为NIH），隶属于美国卫生及人类服务部，是美国联邦政府中首要的生物医学研究机构。2006年的资料显示，此机构花费美国全国28%
扁平苔藓扁平苔藓（Lichen planus）是一种表皮慢性病，属于丘疹鳞屑性疾患的一种，常见于皮肤、口腔、舌头。症状包含但不限于：丘疹，溃烂，瘙痒，红疹，白色斑片。可以在显微镜下观察切片而确诊。本
滑石滑石（英语：talc，硅酸镁）是已知最软的矿物，其莫氏硬度标为1。用指甲可以在滑石上留下划痕。滑石一般为白色，略带青色或绿色。滑石是其他矿物在地下发生长期的物理、化学变化而成的，