{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T15:37:38Z”，“时间戳”：1649086658799}，“出版商位置”：“查姆”，“参考计数”：15，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]，“日期-时间”：“2011-16T00:00:00Z“，”timestamp“：1639612800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}16]]，“日期时间”：“2021-12-16T00:00:00Z”，“时间戳”：1639612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-030-93100-1_19“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“301-315”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”正则计算序列量化的命题动态逻辑“]，”prefix“：”10.1007“，”author“：[{”ORCID“：“http://\/orcid.org\/00000-0002-1942-7982”，“authenticated-orcid”：false，“given”：“Igor”，“family”：“Sedl\u00e1r”，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]]}，“reference”：[{“issue”：“3”，“key”：”19_CR1“，”doi-asserted-by“：”publisher“，“first page”“：”402“，”doi“：”10.1016\/0022-0000（82）90018-6“，”卷“：“25”，“author”：“M Ben-Ari”，“year”：“1982”，“unstructured”：“Ben-Ari，M.，Halpern，J.Y.，Pnueli，A.：确定性命题动态逻辑：有限模型、复杂性和完整性。J.Compute.Syst.Sci.25（3），402\u2013417（1982）。https:\/\/doi.org\/101016\/0022-0000（82）90018-6”，“journal-title”：“J.Computer.Syst.Sic.”}，{“key”：“19_CR2”，“doi-asserted-by”：“publisher”，“unstructured”：“B\u00edlkov\u00e1，M.，Christoff，Z.，Roy，O.：用名称重新审视认知逻辑。收录于：Halpern，J.，Perea，A.（eds.）《第十八届理性与知识理论方面会议论文集》（TARK 2021），第39\u201354页（2021）。https:\/\/doi.org\/10.4204\/EPTCS.335.4”，“doi”：“10.4204\/EPTCS.335.4”}，{“key”：“19_CR3”，“volume-title”：“知识推理”，“author”：“R Fagin”，“year”：“1995”，“unstructured”：“Fagin，R.，Halpern，J.Y.，Moses，Y.，Vardi，M.Y.：知识推理。麻省理工学院出版社，剑桥（1995）”}0022-0000（79）90046-1“，“volume”：“18”，“author”：“MJ Fischer”，“year”：“1979”，“unstructured”：“Fischer，M.J.，Ladner，R.E.：正则程序的命题动态逻辑。J.Compute.Syst.Sci.18，194\u2013211（1979）。https:\/\/doi.org\/10.1016\/0022-0000（79）90046-1”，“journal-title”：“J.Computer.Syst.Sic.”}，{“issue”：“4”，“key”：”19_CR5“，”doi-aser ted-by“：”出版商“，“首页”：“345”，“DOI”：“10.1093\/logcom\/3.4.345”、“卷”：“3”，“作者”：“AJ Grove”，“年份”：“1993”，“非结构化”：“Grove，A.J.，Halpern，J.Y.：认知逻辑中的命名和身份。第一部分：命题案例。《逻辑计算杂志》。3（4），345\u2013378 J.逻辑计算“}，{”键“：“19_CR6”，“doi-asserted-by”：“publisher”，“doi”：“10.7551\/mitpress\/2516.001.0001”，“volume-title”：“Dynamic Logic”，“author”：“D Harel”，“year”：“2000”，“unstructured”：“Harel，D.，Kozen，D.，Tiuryn，J.：Dynamic Logic.MIT Press，Cambridge（2000）”}，{“key”：：“Leivant，D.：带有程序量词的命题动态逻辑。Electron.Notes Theoret.Compute.Sci.218，231\u2013240（2008）。https:\/\/doi.org\/10.1016\/j.entcs.2008.10.014。第二十四届程序设计语义学数学基础会议论文集（MFPS XXIV）“，”DOI“：”10.1016\/j.entcs.2008.10.14“}，{”issue“：”1“，”key“：”19_CR8“，”DOI-asserted-by“：”publisher“，”first page“：Meyer，J.J.C.：道义逻辑的另一种方法：将道义逻辑视为动态逻辑的变体。《圣母院J.形式逻辑》29（1），109\u2013136（1987）。https:\/\/doi.org\/10.10305\/ndjfl\/1093637776“，”journal-title“：”Notre Dame J.Formal Logic“}，{“key”：“19_CR9”，“doi-asserted-by”：“publisher”，“unstructured”：“Meyer，J.J.C.：关于动作和代理推理的动态逻辑。摘自：Minker，J.（ed.）Logic-Based Artificial Intelligence。SECS，第597卷，第281\u2013311页。斯普林格，波士顿（2000）。https:\/\/doi.org\/10.1007\/978-1-4615-1567-8_13“，”doi“：”10.1007\/9781-4615-1567-8_13“}，{“key”：“19_CR10”，“doi-asserted-by”：“publisher”，“unstructured”：“Parikh，R.：程序的命题逻辑：系统、模型和复杂性。在：第七届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL 1980，第186\u2013192页。纽约计算机协会（1980年）。https:\/\/doi.org\/10.1145\/567446.567464“，“doi”：“10.1145\/56746.567464”}，{“key”：“19_CR11”，“doi-asserted-by”：“publisher”，“unstructured”：“Parikh，R.：游戏及其应用的逻辑。摘自：Karplnski，M.，van Leeuwen，J.（eds.）《计算理论的主题》，《北欧数学研究》，第102卷，第111\u2013139页。North-Holland（1985）。https:\/\/doi.org\/10.1016\/S0304-0208（08）73078-0“，”doi“：”10.1016\/S0304-0208“（08）71078-0”}，{“问题”：“2”，“密钥”：“19_CR12”，”doi-asserted-by“：”publisher“，”first page“：”450“，”doi“：“10.1145\/23005.23008”，“卷”：“34”，“作者”：“D Peleg”，“年份”：“1987”，“非结构化”：“Peleg，D。：并发动态逻辑。J.ACM 34（2），450\u2013479（1987）.https:\/\/doi.org\/10.1145\/23005.23008“，”journal-title“：”J.ACM“}，{“key”：“19_CR13”，“unstructured”：“Rosenschein，S.J.：计划合成：逻辑视角。In:第七届人工智能国际联合会议（IJCAI 1981），pp.331\u2013337（1981）“}”，{”issue“：”6“，”key“：”19_CR14“，”doi-asserted-by“：”publisher“，”第一页“：”787“，”DOI“：”10.1093\/logcom\/10.6.787“，”volume“：”10“，”author“：”L Spalazzi“，”year“：”2000“，”unstructured“：”Spalazi，L.，Traverso，P.：一种用于行动、感知和规划的动态逻辑。J.逻辑计算。10（6），787\u2013821（2000）。https:\/\/doi.org\/10.1093\/logcom\/10.6.787“，”journal-title“：”J.逻辑计算。“}，{”issue“：“2”，”key“：“19_CR15”，”doi-asserted-by“：”publisher“，”first page“：”183“，“doi”：“10.1016\/0022-0000（86）90026-7”，“volume”：“32”，“author”：“MY Vardi”，“year”：“1986”，“unstructured”：“Vardi，M.Y.，Wolper，P.：程序模态逻辑的自动机理论技术。J.Computer.Syst.Sci.32（2），183\u2013221（1986）.https:\\/\/doi.org/10.1016/0022-0000（86）90026-7“，”期刊标题“：”J.Comput。系统。科学。“｝]，”容器标题“：[”计算机科学逻辑基础“，”计算机科学讲义“]，”原标题“：[]，”链接“：[｛”URL“：”https:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-030-93100-1_19“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”date-parts“：[[2021,12,27]]，”date-time“：”2021-12-27T00:04:23Z“，”timestamp“：1640563463000}，”score“：1，”resource“：{”primary“：”URL“：”https:\\/link.springer.com\/10.1007\/978-3030-93100-1_19“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2021,12,16]]}，《ISBN》：[“9783030930998”，“9783030931001”]，“references-count”：15，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-93100-1_19“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”价值“：”1611-33049“，”类型：“电子”}]，”主题“：[]，”发布“：{”日期段“：[2021,12,16]}，“断言”：“2021年12月16日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”group“：{”name“：”ChapterHistory“，”label“：”Ch章历史“}}，{”value“：会议名称“，”组“：{“Name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“佛罗里达州迪尔菲尔德海滩”，“order”：3，“名称”：“Conference_city”，“标签”：“会展城市”，“group”：{名称“：”ConferenceInformo“，”标签“：”会议信息“}}、{“值”：“美国”，“订单”：4，“名称“Conference_country”，“label”：”会议国家“，”小组“：{Name”：ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”2022“，”order“：5，”name“：”Conference_year“，”标签“：”会议年份“，”group“：会议信息“}}，{“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“Conference end date”，“group”：{“name”:“ConferenceInfo”，”label“：“会议信息”}}值“：”https:\/\/lfcs.ws.gc.cuny.edu\/“，”order“：11，”name“：”conference_url“，”label“：”conference url“，”group“：{”name“:”ConferenceInfo“，”标签“：”会议信息“}}，{”value“：”Single-blind“，”订单“：1，”name”：“type”，“label”：“type”，“group”：{“name”：”ConfEventPeerReviewInformation“，”table“：”同行评审信息（由会议组织者提供）“}}，{“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“23”，“order”：4，“name”:“Number_of_full_papers_accepted”，“标签”：“接受的全文数”：“同行评议信息（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name”：“number_of_short_papers_accepted”，“label”：“已接受的短文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“tabel”：”同行评议资讯（由会议主办方提供）“}}}、{“value”：“66%-该值由等式“接受的全文数”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评议信息（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）：“average_number_of_papers_per_reviewer”，“label”：“每位审阅者的平均论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“Yes”，“order”：9，“name”:“external_reviewers_involved”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}