{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,17]]，“日期时间”：“2023-09-17T05:10:03Z”，“时间戳”：1694927403329}，“出版商位置”：“查姆”，“参考计数”：37，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030195694”，“类型”：”打印“}，{“值”：“9783030195700”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2019,1]]T00:00:00Z“，”时间戳“：1546300800000}，”内容版本“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2019]]}，”DOI“：”10.1007\/978-3-030-19500-0_45“，”类型“：”book-chapter“，”创建“：{”date-part“：[[2019,5,6]]，“日期时间”：“2019-05-06T16:27:54Z”，“时间戳”：1557160074000}，“页面”：“692-708”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：2，”title“：[”分离连接和模态的公理化逻辑“]，”prefix“：”10.1007“，”author“：[{”given“：”St\u00e9phane“，”family“：”Demri“，”sequence“：”第一个“，”从属关系“：[]}，{“given”：“劳尔”，“family”：“费瓦里”，“sequence”：“additional”，“affiliation”：[]}，{“Givent”：“Alessio”，“家族”：“Mansutti”，“序列”：“附加的”，“从属关系”：[]}]，“成员”：“297”，“在线发布”：{“date-parts”：[[2019,5,6]]}人工智能）”，“doi-asserted-by”：“publisher”，“first page”：“34”，“doi”：“10.1007 \/978-3319-48758-8_3”，《volume-title》：“人工智能中的逻辑”，“author”：“C Areces”，“year”：“2016”，“unstructured”：“Areces，C.，Fervari，R.：混合XPath与数据的Hilbert-style公理化。in:Michael，L.，Kakas，A.（eds.）JELIA 2016。LNCS（LNAI），第10021卷，第34\u201348页。查姆施普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-48758-8_3“}，{”key“：”45_CR2“，”series-title“：”计算机科学讲稿（人工智能讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“263”，”doi“：”10.1007\/9783-642-40885-4_19“，”volume-title“：“组合系统的前沿”，”author“：”C Areces“，”year“：”2013“，”unstructured“：”Areces，C.，Fervari，R.，Hoffmann，G.：关系变换模态逻辑表。收录人：Fontaine，P.，Ringeissen，C.，Schmidt，R.A.（编辑）FroCoS 2013。LNCS（LNAI），第8152卷，第263\u2013278页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-40885-4_19“}，{“问题”：“4”，“密钥”：“45_CR3”，“doi-asserted-by”：“出版商”，“首页”：“601”，“doi”：“10.1093\/jigpal\/jzv020”，《卷》：“23”，“作者”：“C区域”，“年份”：“2015”，“非结构化”：“区域，C.，Fervari，R.，Hoffmann，G.：改变关系的模态运算符。逻辑J.IGPL 23（4），601\u2013627（2015）“，”期刊标题“：”Logic J.IGPL“｝，｛“issue”：“2”，“key”：“45_CR4”，“首页”：“269”，“卷”：“28”，“作者”：“G Aucher”，“年份”：“2018”，“非结构化”：“Aucher，G.，van Benthem，J.，Grossi，D.：重新审视破坏的模态逻辑。JLC 28（2），269\u2013303（2018）”，“期刊标题”：“JLC”｝，｛“key”：“45_CR5”，“非结构化”：“Balbiani，Ph.，Tinchev，T.：模态逻辑中的统一Alt$$1$$。摘自：AiML 2016，第117\u2013134页。College Publications（2016）“}，{”key“：”45_CR6“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”97“，”doi“：”10.1007\/978-3-540-30538-5_9“，”volume-title“，”FSTTCS 2004:软件技术和理论计算机科学基础“，”author“：”Josh Berdine“，”year“：”2004“，”unstructured“：”Berdine，Josh，Calcagno，Cristiano，O\u2019Hearn，Peter W.：分离逻辑的决定性片段。收录：Lodaya、Kamal、Mahajan、Meena（编辑）FSTTCS 2004。LNCS，第3328卷，第97\u2013109页。斯普林格，海德堡（2004）。https:\/\/doi.org\/10.1007\/978-3-540-30538-5_9“}，{“key”：“45_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Blackburn，P.，de Rijke，M.，Venema，Y.：Modal Logic，Cambridge University Press（2001）”，“doi”：“10.1017\/CBO9781107050884 van Benthem，J.F.，Wolter，F.（编辑）：模态逻辑手册。Elsevier（2006）“，“DOI”：“10.1002\/9780470996751.ch27”}，{“key”：“45_CR9”，“unstructured”：“Boudou，J.：具有关联二进制模态的可判定逻辑。见：LIPIcs CSL 2017，第82卷，第1\u201315页。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik（2017）“}，{“问题”：“3”，“关键”：“45_CR10”，“doi-asserted-by”：“出版商”，“首页”：“305”，“doi”：“10.1016\/j.apal.2009.07.004”，“卷”：“161”，《作者》：“R Brochenin”，“年份”：“2009”，“非结构化”：“Brochenin，R.，Demri，S.，Lozes，E.：关于记忆状态序列的推理。安。纯应用程序。逻辑161（3），305\u2013323（2009）“，“期刊标题”：“Ann.Pure Appl。Logic“}，{”key“：”45_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Brotherston，J.，Villard，J.：分离理论的参数完备性。摘自：POPL 2014，pp.453\u2013464。ACM（2014）“，”DOI“：”10.1145\/2535838.2535844“}，{”key“：”45_CR12“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“3”，“DOI”：“10.1007\/978-3-319-10181-1_1”，“volume-title”：“Integrated Formal Methods”，“author”：“D Calvanese”，“year”：“2014”，“unstructured”：“”Calvanee，D.，Kotek，T.，\u0160imkus，M.，Veith，H.，Zuleger，F.：形状和内容。In：Albert，E.，Sekerinski，E.（编辑）IFM 2014。LNCS，第8739卷，第3\u201317页。查姆施普林格（2014）。https:\/\/doi.org/10.1007\/978-3-319-10181-1_1“｝，｛“issue”：“4”，“key”：“45_CR13”，“首页”：“733”，“volume”：“28”，“author”：“J-R Courtault”，“year”：“2018”，“nonstructured”：“Courtault，J.-R，Galmiche，D.:资源动力学的模态分离逻辑。JLC 28（4），733\u2013778（2018）”，“journal title”：“JLC”｝，｛“key”：“45_CR14“，”doi由“：”crossref“断言，”非结构化“：”Courtault，J.-R.，van Ditmarsch，H.，Galmiche，D.：公告分离逻辑。数学。结构。计算。科学。（2019年，待发布）“，”DOI“：”10.1017\/S0960129518000348“}，{”key“：”45_CR15“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“156”，“DOI”：“10.1007\/978-3662-47709-0_12”，“volume-title”：“逻辑、语言、信息和计算”，“author”：“J-R Courtault”，“year”：“2015”，“unstructured”：“”Courtault，J.-R.，van Ditmarsch，H.，Galmiche，D.：认知分离逻辑。收录人：de Paiva，V.，de Queiroz，R.，Moss，L.S.，Leivant，D.，de Oliveira，A.G.（编辑）WoLLIC 2015。LNCS，第9160卷，第156\u2013173页。斯普林格，海德堡（2015）。https:\/\/doi.org\/10.1007\/978-3662-47709-0_12“}，{”issue“：”3“，”key“：”45_CR16“，”first page“：“263”，“volume”：“205”，”author“：”A Dawar“，”year“：”2007“，”unstructured“：”Dawar，A.，Gardner，P.，Ghelli，G.：图形逻辑的表达性和复杂性。IC 205（3），263\u2013310（2007）“，”journal-title“：”IC“}”，{“issue”：“16”，“key”：“45_CR17”，“首页”：“15:1”，“卷：“2”，“作者”：“S Demri”，“年份”：“2015”，“非结构化”：“Demri，S.，Deters，M.：双变量分离逻辑及其内圈。ToCL 2（16），15:1\u201315:36（2015）“，“journal-title”：“ToCL”}，{“key”：“45_CR18”，“unstructured”：“Demri，S.，Fervari，R.：关于模态分离逻辑的复杂性。摘自：AiML 2018，pp.179\u2013198。学院出版物（2018）“}，{”key“：”45_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“476”，”doi“：”10.1007\/978-3319-89366-2_26“，”volume-title“：“软件科学与计算结构基础”，”author“：”S Demri“，”year“：”2018“，”unstructured“：”Demri，S.，Lozes，\u00c9.，Mansutti，A.：在命题分离逻辑中添加可达性谓词的影响。收录：Baier，C.，Dal Lago，U.（编辑）FoSSaCS 2018。LNCS，第10803卷，第476\u2013493页。施普林格，查姆（2018）。https:\/\/doi.org\/10007\/978-3-319-89366-2_26“}，{“key”：“45_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Doumane，A.：线性时间$$\\mu$$-演算的构造完整性。摘自：LICS 2017，pp.1\u201312。IEEE Computer Society（2017）“，”DOI“：”10.1109\/LICS.2017.8005075“}，{”key“：”45_CR21“，”series-title“：”Perspectives in Mathematical Logic“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/978-3662-03182-7”，”volume-title“：“有限模型理论”，”author“：”HD Ebbinghaus“，”year“：”1999“，”unstructured“：”Ebbinghaus，H.D.，Flum，J.：有限模型理论。数学逻辑的观点。施普林格，海德堡（1999）。https:\/\/doi.org\/10.1007\/978-3662-03182-7“}，{“key”：“45_CR22”，“unstructured”：“Echenim，M.，Iosif，R.，Peltier，N.：关于Bernays-Sch\u00f6nfinkel-Ramsey分离逻辑的表达完整性。技术报告arXiv:1802.00195，arXiv:cs.LO，2018年2月。出现在FOSSACS 2019中“}，{“key”：“45_CR23”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”409“，“doi”：“10.1007\/3-540-51803-7_36”，“volume-title”：”规范中的时态逻辑“，”author“：”D Gabbay“，”year“1989”，“unstructured”：“Gabbay，D.：陈述性过去和命令性未来。收录：Banieqbal，B.，Barringer，H.，Pnueli，A.（编辑）《规范中的时间逻辑》。LNCS，第398卷，第409\u2013448页。斯普林格，海德堡（1989）。https:\/\/doi.org\/10.1007\/3-540-51803-7_36“}，{“key”：“45_CR24”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：”119“，“doi”：“10.1007\/978-3642-04893-7_10”，“volume-title”：”逻辑、合理性和交互“，”作者“：”N Gierasimczuk“，”年份：“2009”，“非结构化”：“Gierasimczuk，N.，Kurzen，L.，Vel\u00e1zquez-Quesada，F.R.：作为游戏的学习和教学：破坏方法。收录：He，X.，Horty，J.，Pacuit，E.（编辑）LORI 2009。LNCS（LNAI），第5834卷，第119\u2013132页。斯普林格，海德堡（2009）。https:\/\/doi.org\/10.1007\/978-3642-04893-7_10“}，{”key“：”45_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“168”，“doi”：“10.1007\/9783-642-3992-3_16”，“volume-title”：“逻辑、语言、信息和计算”，“author”：“A Herzig”，“年份”：“2013”，“非结构化”：“Herzig，A.：一个简单的分离逻辑。收录人：Libkin，L.，Kohlenbach，U.，de Queiroz，R.（编辑）WoLLIC 2013。LNCS，第8071卷，第168\u2013178页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-3992-3_16“}，{“问题”：“10”，“密钥”：“45_CR26”，“doi-asserted-by”：“出版商”，“首页”：“576”，“doi”：“10.1145\/363235.363259”，“卷”：“12”，“作者”：“CAR Hoare”，“年份”：“1969年”，“非结构化”：“Hoare，C.A.R.：计算机编程的公理基础。Commun.ACM 12（10），576 \u2013580（1969）“，”新闻标题“：”Commun公司。ACM“}，{”issue“：”2“，”key“：”45_CR27“，”doi-asserted-by“：”publisher“，”first page“：“13:1”，“doi”：“10.1145\/3197383”，“volume”：“19”，“author”：“Z Hou”，“year”：“2018”，“unstructured”：“Hou，Z.，Clouston，R.，Gor\u00e9，R.、Tiu，A.：抽象分离逻辑的模块化标记序列计算。ToCL 19（2），13:1\u201313:35（2018）“，”新闻标题“：”ToCL“}，{“key“：”45_CR28“，”doi-asserted-by“：”crossref“，”unstructured“：”Lu，X.，Tian，C.，Duan，Z.：用搜索控制知识暂时化规划的分离逻辑。收录于：IJCAI 2017，pp.1167\u20131173（2017）“，“DOI”：“10.24963\/IJCAI.2017\/162”}，{“key”：“45_CR29”，“DOI-asserted-by”：“publisher”，“unstructured”：“Pym，D.，Spring，J.，O\u2019Hearn，P.W.：为什么分离逻辑有效。收录于《哲学与技术》，pp.1\u201334（2018）。https:\//DOI.org\/10007\/s13347-018-0312-8”，“DOI:”10.1007\/s13347-018-0312-8“}，{”key”：“45_CR30”，“非结构化”：“Reynolds，J.C.：分离逻辑：用于共享可变数据结构的逻辑。收录于：LICS 2002，第55\u201374页。IEEE（2002）“}，{”issue“：”1“，”key“：”45_CR31“，”doi-asserted-by“：”publisher“，”first page“：“3:1”，“doi”：“10.1145\/2858784”，“volume”：“8”，“author”：“S Schmitz”，“year”：“2016”，“unstructured”：“Schmitz，S.：基本的复杂性层次结构。ACM Trans.Comput.Theor.8（1），3:1\u20133:36（2016）”，“journal-title”：“ACM Trans.Compute.Theor。“}，{”键“：”45_CR32“，“首页”：“183”，“卷”：“47”，“作者”：“K塞格伯格”，“年份”：“1981”，“非结构化”：“塞格伯格，K。：关于其他地方逻辑的注释。Theoria 47，183\u2013187（1981）“，”journal-title“：”Theoria“}，{“key”：“45_CR33”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511811654”，“volume-title”：“Multiagent Systems:Algorithmic，Game-Thetic，and Logical Foundations”，“author”：“Y Shoham”，”年份：“2008”，“unstructured”：“Shoham，Y.，Leyton-Brown，K.：多智能体系统：算法、博弈论和逻辑基础。剑桥大学出版社，纽约（2008）“}，{”key“：”45_CR34“，”series-title“：”计算机科学讲稿（人工智能讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“268”，“doi”：“10.1007\/978-3-540-32254-2_16”，“volume-title”：“机械化数学推理”，“author”：“J Benthem”，“year”：“2005”，“unstructured”：“Benthem，J.：一篇关于破坏和阻碍的文章。摘自：Hutter，D.，Stephan，W.（编辑）《机械化数学推理》。LNCS（LNAI），第2605卷，第268\u2013276页。斯普林格，海德堡（2005）。https://doi.org/10.1007\/978-3-540-32254-2_16“｝，｛“key”：“45_CR35”，“doi断言者”：“crossref”，“非结构化”：“van Benthem，J.:信息与交互的逻辑动力学。剑桥大学出版社（2011）”，“doi”：“10.1017\/CBO9780511974533”｝，｛“key”：“45_CR36”，“系列标题”：“综合图书馆系列”，“doi断言者”：“出版商”，“doi”：“10.1007 \/978-1-4020-5839-4“，“卷-时间”：“动态认识逻辑”，“作者”：“H Ditmarsch van”，“年份”：“2008”，“非结构化”：“van Ditmarsche，H.，van der Hoek，W.，Kooi，B.：动态认识逻辑。综合图书馆系列，第337卷。施普林格，多德雷赫特（2008）。https:\/\/doi.org\/10.1007\/978-1-4020-5839-4“}，{“issue”：“Supplement\u20131”，“key”：“45_CR37”，“doi-asserted-by”：“publisher”，“first page”：”103“，“doi”：“10.1007\/s11229-012-0233-5”，“volume”：《190》，“author”：“Y Wang”，“year”：“2013”，“unstructured”：“Wang，Y.，Cao，Q.：论公告逻辑的公理化。综合190（Supplement\ u20131），103\u2013134（2013）“，”journal-title“：”Synthese“}]，”container-title”：[“人工智能中的逻辑学”，“计算机科学中的课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3030-19570-0_45”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“”相似性检查“}”，“存放”：{“日期-部分”：[[2023,9,16]]，“日期-时间”：“2023-09-16T08:40:57Z”，“时间戳”：1694853657000}，“分数”：1，“资源”:{“主要”：{“URL”：“http://\\link.springer.com\/10.1007\/978-3030-19570-0_45”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2019]]}，“ISBN”：[“9783030195694”，“97830.30195700”]，“references count“：37，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-030-19570-0_45“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：｛”date parts“：[[2019]｝，”assertion“：[｛”value“：”2019年5月6日“，”order“：1，”name“：”first_online“，”label“：”First Online”，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“JELIA”，“order”：1，“name”:“conference_acrombit”，“标签”：“conference-Acromnim”，“group”：{name”：《ConferenceInfo》会议名称“，”组“：{“Name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“Rende”，“order”：3，“Name”:“Conference_city”，“table”：“conferency city”，“group”：{名称“：”ConferenceInformo“，”label“：”会议信息“}}“，”label“：”会议信息“}}，{“value”：“2019”，“order”：5，“name”：“Conference_year”，“label”：“会议年份”，“group”：{“name”:“ConferenceInfo”，“table”：“Conferency Information”}}value“：”2019年5月11日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“名称”：“conference_id“，”label“：”会议id“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”https:\/\/jelia2019.mat.unical.it\/“，”order“：11，“name”：“conference_0rl”，“label”：“会议url”，“group”：{“name”:“ConferenceInformo”，“tabel”：”会议信息“}}]}