{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,7]]，“日期-时间”：“2024-03-07T18:22:45Z”，“时间戳”：1709835765365}，“引用-计数”：21，“发布者”：“爱思唯尔BV”，“问题”：“6”，“许可证”：[{“开始”：{-date-parts“：[[2014,9,1]]，”日期-时间“：”2014-09-01T00:00:00Z“，“时间戳”：1409529600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2018,9,1]]，“date-time”：“2018-09-01T00:00:00Z”，“timestamp”：153576000000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier”。com/open-access\/userlicense\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/501000001711”，“name”：“瑞士国家科学基金会”，“doi-asserted-by”：“publisher”，“adward”：[“200021-117699”]，“id”：[{“id”:“10.13029\/50110000171”，“id-type”：“doi”，“asserted-by”：Z00P2-131706“]，”id“：[{”id“：“10.13039\/50100000171”，“id-type”：“DOI”，“asserted-by”：“publisher”}]}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Journal of Computer and System Sciences”]，”published-print“：{”date-parts“：[2014,9]}，”DOI“：”10.1016\/j.jcss.2014.04.04 01“，”type“：”Journal-article“，”created“：{“date-parts”：[[2014,4,4]，“date-time”：“2014-04-04T20:19:46Z”，“timestamp”：1396642786000}，“page”：“1046-1066”，“update-policy”：”http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：11，“title”：[“通过正当理由实现公告”]，“前缀”：“10.1016”，”volume“80”，“作者”：[{“给定”：“塞缪尔”，“family”：“Bucheli”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Roman”，“family”：“Kuznets”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Thomas”，“family”：“Studer”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛“issue”：“1\u2013”，“key”：“10.1016\/j.js.2014.04.001_br0010”，doi断言by”：“crossref”，“首页”：“4”，“DOI”：“10.1016\/j.tcs.2006.03.009”，“article-title”：“合理的常识”，“volume”：“357”，“author”：“Artemov”，“year”：“2006”，“journal-title“：”Theor.Comput.Sci.“}，{”issue“：”4“，”key“：”10.1016\/j.jcss.2014.04.001_br0020“，”DOI-asserted-by“：”crossref“，”首页“：”477“，”DOI“：”10.1017 \/S1755020308090060“，”文章标题“：“辩护的逻辑”，“卷”：“1”，“作者”：“Artemov”，“年份”：“2008”，“日记标题”：“Rev.Symb.Log.”}，{“key”：“10.1016\/j.jcss.2014.04.001_br0030”，“series-title”：“逻辑与计算领域，尤里·古雷维奇70岁生日献词”，“首页”：“61”，“article-title”：《追踪证据》，“卷“6300”，“author”：“Artemov”，“year”：“2010”}，{“key”：“10.1016\/j.jcss.2014.04.001_br0040”，“series-title”：“理性与知识的理论方面，第十二届会议论文集”，“首页”：“14”，“article-title”：”逻辑全知作为计算复杂性问题“，”author“：”Artemov“，”year“：”2009“}：“10.1016\/j.jcss.2014.04.001_br0050”，“series-title”：“关于模态逻辑的显式对等物”，“author”：“Brezhnev”，“year”：“2000”}，{“key”：“10.116\/j.jcss.2014.01_br0060”，《series-ttle》：“LogKCA-10，第二届ILCLI知识、交流和行动逻辑与哲学国际研讨会论文集”，“第一页”：“135”，“article-title”：“正当信念的改变”，“author”：“Bucheli”，“year”：“2010”}，{“issue”：“1”，“key”：“10.1016\/j.jcss.2014.04.001_br0070”，“doi-asserted-by”：“crossref”，“first page”：”35“，“doi”：“10.3166\/jancl.21.35-60”，《article-title》：“常识的正当性”，“volume”：第21卷，“auther”：“Busheli”，“年份”：“2011年”，“新闻标题”：“j。申请。非类别。日志。“}，{”key“：”10.1016\/j.jcss.2014.04.001_br0080“，”series-title“：”逻辑、语言、信息和计算，第18届国际研讨会，论文集“，”首页“：”35“，”article-title“：“动态证明逻辑的部分实现”，“卷”：“6642”，“作者”：“Bucheli”，“年份”：“2011”}，“key”：“10.1016\/jcss.2014.04.001 _br0090”，“article-title“：”动态认识逻辑“，”volume“：”vol.337“，”author“：”van Ditmarsch“，”year“：”2007“}，{”issue“：”1“，”key“：“10.1016\/j.jcss.2014.04.001_br0100”，”doi-asserted-by“：”crossref“，“first page”：“1”，“doi”：“10.116\/j.apal.2004.04.009”，“article-title”：“证明的逻辑，语义”，“volume”：”132“，”author“：”Fitting“，”year“：”2005“，”《新闻标题》：“Ann.Pure Appl。日志。“}，{”issue“：”3“，”key“：”10.1016\/j.jcss.2014.04.001_br0110“，”doi-asserted-by“：”crossref“，”first page“：“368”，”doi“：”101016\/j.apal.2009.07.010“，”article-title“：”Realizations and LP“，”volume“:”161“，“author”：“Fitting”，“year”：“2009”，“journal-title”：“Ann.Pure Appl.Log.”}，”{“key”：“10.1016 \/j.jcss.2014.04.001_br0120“，”series-title“：”游戏、规范和理由：十字路口的逻辑，第4章”，“第一页”：“61”，“文章标题”：“S5的实现定理：一个简单的、建设性的证明”，“卷”：“第353卷”，“作者”：“拟合”，“年”：“2011”}，{“键”：“10.1016\/j.jss.2014.04.001_br0130”，“系列标题”：“克里普克星球上的双模拟”，“作者”：“格布兰迪”，“年”：“1999”}，{issue“：”2“，”key“：”10.1016\/j.jcss.2014.04.001_br0140“，”doi-asserted-by“：”crossref“，”first page“：“147”，“doi”：“10.1023\/A:100822603071”，“article-title”：“关于信息更改的推理”，“volume”：“6”，“author”：“Gerbrandy”，“year”：“1997”，“journal-title“：”j.Log。Lang.Inf.“}，{“issue”：“4”，“key”：“10.1016\/j.jcss.2014.04.001_br0150”，“doi-asserted-by”：“crossref”，“首页”：“636”，“doi”：“101007\/s00224-009-9209-3”，“article-title”：“认知逻辑中的自指证明”，“volume”：”46“author”：“Kuznets”，“year”：“2010”，“journal-title“：”理论计算系统“}，{“键”：“10.1016\/j.jcss.2014.04.001_br0160“，”series-title“：”计算机科学的逻辑基础，国际研讨会，论文集“，”首页“：”266“，”article-title“：“作为证据的更新：信念扩展”，“卷”：“vol.7734”，“作者”：“Kuznets”，“年份”：“2013”}，{“key”：“10.1016\/j.jcss.2014.01_br0170”，“series-ttle”：“”第五届泛希腊逻辑研讨会论文集”，“首页”：“117”，“文章标题”：“关于一些显式模态逻辑的注释”，“作者”：“Pacuit”，“年份”：“2005”}，{“问题”：“2”，“关键”：“10.1016\/j.jcss.2014.04.001_br0180”，“doi-asserted-by”：“crossref”，《第一页》：“165”，”doi“10.1007”，“卷“：”158“，”作者“：”广场“，”年份“：”2007“，”新闻标题“：”综合“}，{“key”：“10.1016\/j.jcss.2014.04.001_br0190”，“series-title”：“带理由的动态认知逻辑”，“author”：“Renne”，“year”：“2008”}，}“issue”：“6”，“key“10.1016”：“/j.jcs s.2014.04.0 01_br0200”，“doi-asserted-by”：“crossref”，”首页“：”1005“，”doi“：”10.1093\/logcom\/exq026“，”文章标题“：“论证逻辑中的公共传播”，“卷”：“21”，“作者”：“Renne”，“年份”：“2011”，“期刊标题”：“J.Log。计算。“}，{”issue“：”S1“，”key“：”10.1016\/j.jcss.2014.04.001_br0210“，”doi-asserted-by“：”crossref“，“first page”：“43”，“doi”：“10.1007\/s11229-011-9968-7”，“article-title”：“Multi-agent justication logic:communication and evidence exclusion”，“volume”：”185“author”：“Renne”，“year”：“2012”，“日记标题”：“Synthese”}]，“container-title“：[“”《计算机与系统科学杂志》“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0022000014000452？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\//api.elsevier.com/content\/aarticle\/PII:S0 022000014000452？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2021,4,4]]，“date-time”：“2021-04-04T05:19:25Z”，“timestamp”：1617513565000}，“score”：1，“resource”：{“primary”：“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S00220000 14000452“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2014,9]]}，”references-count“：21，”journal-issue“：{“issue”：“6”，“published-print”：{“date-part”：[[2014，9]]{}，“alternative-id”：[“S0022000014000452”]，“URL”：“http://\/dx.doi.org\/101016\/j.jcss.2014.04.001”，“relation”：{}、“ISSN”：[”0022-0000“]，“ISSN-type”：[{“value”：“0022-0000”，“type”:“print”}]，“subject”：[]，“published“：{“date-parts”：[[2014,9]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“This article is maintained by”}，{“value”：“Realizing public announcements by justications”，“name:”articletite“，”label“：”article Title“}，”{“值”：“Journal of Computer and System Sciences”，”name“journaltitle”，“标签”：“期刊标题”}、{“value”：https:\/\/doi.org\/10.1016\/j.jcss.2014.04.001“，”name“：”articlelink“，”label“：”CrossRef doi link to publisher maintained version“}，”{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{“value”：“Copyrights\u00a9 2014 Elsevier Inc.保留所有权利。”，“名称”：“Copyright”，“标签”：“版权所有”}]}