时间逻辑
在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是Arthur Prior在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是阿米尔·伯努利和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》[1]。 时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是：总是、有时、和永不。 计算树逻辑（CTL）、线性时序逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。 参见
参考
外部链接
|
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia
