{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,9,16]]，“日期-时间”：“2022-09-16T06:07:39Z”，“时间戳”：1663308459018}，“引用-计数”：10，“发布者”：“威利”，“问题”：“1”，“许可证”：[{“开始”：{:“日期部件”：[2015,9,1]]，”日期-时间“：”2015-0 9-01T00:00:00Z“，”时间戳“：1441065600000}，“content-version”：“tdm”，“delay-in-days”：4991，“URL”：“http://\/doi.wiley.com/10.1002\/tdm_license_1.1”}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[“MLQ-Math.Log.Quart.”]，“published-print”：{“date-parts”：[[2002,1]}，”doi“：”10.1002\/1521-3870（2000 201）48:1<51:：aid-malq51>3.0.co；2-s“，”type“：”journal-article“，“created”：{“date-parts”：[[2005,12,4]]，“date-time”：“2005-12-04T15:07:02Z”，“timestamp”：1133708822000}，“page”：“51-62”，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“一阶分支时序逻辑片段的调查”]，“prefix”：“10.1002”，“volume”:“48”，“author”：[{“given”：《Franco》，“family”：“Montagna”，“sequence”：“第一个”，“附属关系”：[]｝，｛“给定”：“G.”，“家族”：“Michele Pinna”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“B.P.”，“家族”：“Tiezzi”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“311”，“引用”：[｛“键”：“10.1002\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB1”，“doi asserted by”：“crossref”，“首页”：“35”，“内政部”：“10.1006\/inco.1993.1025”，“volume”：“104”，“author”：“Alur”，“year”：“1993”，“journal-title”：“Information and Calculation”}，{“key”：”10.1002\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB2“，”author“：”Alur“，“unstructured”：“和，实时逻辑和模型：一项调查。收录于：实时：理论在实践中，计算机科学讲义600，施普林格-弗拉格，柏林-海德堡-纽约1992，第74 126页。”}，{“关键”：“10.1002 \/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB3”，“作者”：“阿巴迪”，“非结构化”：“时间证明的力量。博士。斯坦福大学论文，1988年。“}，{“key”：“10.1002 \/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB4”，“author”：“Boolos”，“unstructured”：“and，Computability and Logic。剑桥大学出版社，1974年。”时间逻辑和模态逻辑。收录于：H和《理论计算机科学》，第B卷，Elsevier，阿姆斯特丹，1990年。\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB7“，“author”：“Garson”，“unstructured”：“模态逻辑中的量化。在：H和《哲学逻辑》第二卷，D.Reidel出版公司。，Dordrecht 1984，第249-307页。“}，{“key”：“10.1002 \/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB8”，“author”：“Gabbay”，“unstructured”：“，《时序逻辑：数学基础和计算方面》，第1卷。Clarendon Press，Oxford 1994。“}，{”key“：”10.1002\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB9“，”doi-asserted-by“：”crossref“，”first page“：“329”，“doi”：“10.1016\/0304-3975（86）90157-X”，“volume”：“47”，“author”：“Szalas”，“year”：“1986”，“journal-title”：“Theoret.Comp.Sci.”}，“”键“：”10.1002\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S-BIB10“，”作者：“van Benthem”，“非结构化”：“时间逻辑”。摘自：H和《人工智能和逻辑编程中的逻辑》，第4卷，克拉伦登出版社，牛津1995年，第241-350页。“：”unspecified“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/onlinelibrary.wiley.com/doi\/full\/10.1002\/1521-3870（200201）48:1%3C51:：AID-MALQ51%3E3.0.CO；2-S“，”内容类型“：”unspecized“，“content-versiion”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[2021,]7,1]]，“日期时间”：“2021-07-01T03:38:31Z“，”timestamp“：1625110711000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1521-3870（200201）48:1<51:：AID-MALQ51>3.0.CO；2-S“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[2002,1]]}，‘references-count’：10，”新闻发布：{“发布”：“1”，“发布-打印”：{”日期-部分“：[[2002,1]]}}，“URL”：“http://\/dx.doi.org\/10.1002\/1521-3870（200201）48:1<51:：aid-malq51>3.0.co；2-s”，“关系”：{}，“ISSN”：[“0942-5616”，“1521-3870”]，“ISSN-type”：[{“值”：“0942-5 616”日期部分“：[[2002,1]}}}