{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,5,9]]，“日期-时间”：“2024-05-09T07:47:29Z”，“时间戳”：1715240849592}，“引用-计数”：16，“发布者”：“爱思唯尔BV”，“问题”：“1-3”，“许可证”：[{“开始”：{-date-parts”：[[2002,10]]，”日期-时间“：“2002-10-01T00:00:00Z”，“时间戳”：103343040000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“开始”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：13771296000000}，“content-version”：“vor”，“delay-in-days”：3978，“URL开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[2002,10]]}，”DOI“：”10.1016\/s0168-0072（01）00123-3“，”type“：”journal-article“，”created“：{”date-part“：[2002,10,14]”，“date-time”：“2002-10-14T13:01Z”，“timestamp”：1034600481000}“page”：“261-2”93“，”源“：”Crossref“，“is-referenced-by-count”：16，“title”：[“任务的逻辑”]，“prefix”：“10.1016”，“volume”：“117”，“author”：[{“给定”：“Giorgi”，“family”：“Japaridze”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“issue”：“2”，“key”：”10.1016\/S0168-0072（01）00123-3_BIB1“，”doi-asserted-by“：”crossref“，“首页”：“543”，“doi”：“10.2307\/2275407”，“article-title”：“乘法线性逻辑的游戏和完整性”，“volume”：“59”，“author”：“Abramsky”，“year”：“1994”，“journal-title“：”J.Symbolic logic“}，{“key”：”10.1016\/S0168-0072（01）00123-3_BIB2“，”doi-asserted-by“：”crossref“，“first page“：”183“，“volume”：“56”，“author”：“Blass”，“year”：“1992”，“journal-title”：“Ann.Pure Appl.Logic”}，{“issue”：“3”，“key”：”10.1016\/S0168-0072（01）00123-3_BIB3“，“doi-asserted-by”：“crossref”，“first-pages”：“217”，“doi”：“10.1016\/0168-0072（85）90016-8“，”article-title“：”对话、策略和直觉可证明性“，”volume：“28”，“author”：“Felscher”，“year”：“1985”，“journal-title”：“Ann.Pure Appl.Logic”}，{“issue”：“1”，“key”：“10.1016\/S0168-0072（01）00123-3_BIB4”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“101016\/0304-3975（87）90045-4”，“article-title“：”Linear Logic“，”volume“：”50“author”：“Girard”，“year”：“1987”，“jornal-title:”Theoret.Compute科学“}，{“问题”：“3”，“关键”：“10.1016\/S0168-0072（01）00123-3_BIB5“，“doi-asserted-by”：“crossref”，“first page”：“245”，“doi”：“10.1016\/0004-3702（86）90051-2”，“article-title”：“知识与行为的句法理论”，“volume”：”28“，“author”：“Haas”，“year”：“1986”，“journal-title“：”Artificial Intelligence“}，{”key“10.1016 \/S0168-0072（01）00123-3-BIB6”，“series-title”：”博弈论语义学：关于语义的文章辛提卡、卡尔森、皮科克、兰塔拉和萨里宁“，“年”：“1979”}，{“问题”：“3”，“关键”：“10.1016\/S0168-0072（01）00123-3_BIB7”，“doi-asserted-by”：“crossref”，“首页”：“346”，“doi”：“101305\/ndjfl\/1040511342”，“文章时间”：“u03a01-保守逻辑算术完备性的简单证明”，“”volume“：”35“，”author“：”Japaridze“，”year“：”1994“，”journal-title“：”Notre Dame J.Formal Logic“}，{“key”：“10.1016\/S0168-0072（01）00123-3_BIB8”，“doi-asserted-by”：“crossref”，“first-page”：“87”，“doi”：“101016\/S0168-0072-97）00046-8”，《article-title》：“线性逻辑语言的构造性游戏语义”，“volume”：”85“，“author”：“Japaridze“，”年份“：”1997年，《新闻标题》：“Ann.Pure Appl。逻辑“}，{“key”：“10.1016\/S0168-0072（01）00123-3_BIB9”，“unstructured”：“G.Japaridze，资源和任务的逻辑，Ph.D.论文，宾夕法尼亚大学，费城，1998年，145pp.”}，}，“key“：”10.1016\/S0168.0072（01。Japaridze，可判定的一阶认知逻辑，Proc。格鲁吉亚科学院第1/2号，2000年，第81\u201395页。72（01）00123-3_BIB12“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Lorenz，Dialogspile als semantische Grundlage von Logikkalk\u00fclen，Arch。数学。Logik Grundlag公司。11（1968）32\u201355，73\u2013100.“，“DOI”：“10.1007\/BF01973341”}，{“key”：“101016\/S0168-0072（01）00123-3_BIB13”，“unstructured”：“P.Lorenzen，Ein dialogisches Konstruktivit\u00e4tskriterium，in:Infinitistic Methods，in:PWN，Proc.Symp.Foundations of Mathematics，Warsaw，1961，pp.193\u2013200.”}、{“key”：”10.1016\/S0168-0074（01）00123-3_BIB14“，”非结构化”：“J.McCarthy，P.Hayes，《从人工智能的角度来看的一些哲学问题》，见：B.Meltzer（Ed.），《机器智能》，第4卷，1969年，第463\u2013502页。”}，{“关键”：“10.1016\/S0168-0072（01）00123-3_BIB15”，“非结构化”。Moore，知识和行动的形式理论，载于：《常识世界的形式理论》，J.R.Hobbs和R.C.Moore编辑，Ablex，Norwood，N.J.，1985，pp.319\u2013358Pure and Applied Logic年鉴“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S016800721001233？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII：S016800721001233？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,5,3]]，“date-time”：“2019-05-03T17:50:17Z”，“timestamp”：1556905817000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com//retrieve\/pii\/S01681 00721001233“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2002,10]]}，”references-count“：16，”journal-issue“：{“issue”：“1-3”，“published-print”：{“date-part”：[[202002,10]}}，“alternative-id”：[“S01680072001233”]，“URL”：“http://\/dx.doi.org\/10.10016\/s0168-0072（01）00123-3”，“relation”：{}，，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“value”：“0168-20072”，“type”:“print”}]，“subject”：[]，“已发布“：{“date-parts”：[[2002.10]}}}