{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,10,19]]，“日期-时间”：“2022-10-19T16:27:13Z”，“时间戳”：1666196833279}，“出版商位置”：“柏林，海德堡”，“引用-计数”：15，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型：“print”}，{“value”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_8”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T04:54:38Z”，“timestamp”：1303966478000}，”page“：”20-34“，”source“：“Crossref”，“is-referenced-by-count”：2，“title”：[“Basic Model Theory for Memory Logics”]，“prefix”：“10.1007”，“作者”：[{“给定”：“卡洛斯”，“家庭”：“Areces”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Facundo”，“family”：“Carreiro”，”sequence“：”additional“，”affiliance“：[]neneneep，{”given“：”Santiago“，”family“：”Figueira“，”se序列“：”additional“”，“additional”：“[]}]，“member”：“297”，“reference”：[{“key”：“8_CR1”，“doi-asserted-by”：“crossref”，“nonstructured”：“Areces，C.，Figueira，D.，Figueira，S.，Mera，S.：记忆逻辑的表达能力。符号逻辑4（1）（2010）综述”，“DOI”：“10.1017\/S175520310000389”｝，｛“key”：“8_CR2”，“series title”：“计算机科学讲义”，“DOI asserted by”：“publisher”，“首页”：“47”，“DOI”：“10.1007\/978-3-642-02716-1_5”，“volume-title”：“使用分析表和相关方法进行自动推理”，“author”：“C.Areces”，“year”：“2009”，“unstructured”：“Areces，C.，Figueira，D.，Gor\u00edn，D.，Mera，S.：表和内存逻辑模型检查。In:Giese，M.，Waaler，A.（eds.）Tableaux 2009。LNCS，第u00a05607卷，第47\u201361页。Springer，Heidelberg（2009）“}，{”key“：”8_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“16”，”doi“：”10.1007\/978-3-540-92687-0_2“，”volume-title“：“计算机科学的逻辑基础”，”author“：”C.Areces“，”year“：”2008“，”unstructured“：”Areces，C.，Figueira，S.，Mera，S.：记忆逻辑的完整性结果。收录：Artemov，S.，Nerode，A.（编辑）LFCS 2009。LNCS，第u00a05407卷，第16\u201330页。Springer，Heidelberg（2008）“}，{”key“：”8_CR4“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“56”，“doi”：“10.1007\/978-3-540-69937-8_7”，“volume-title”：“逻辑、语言、信息和计算”，“author”：“C.Areces”，“year”：“2008”，“unstructured”：“Areces，C.，Figueira，D.，Figueera，S.，Mera，S.：记忆逻辑的表达能力和可判定性。收录：Hodges，W.，de Queiroz，R.（编辑）WoLLIC 2008。LNCS（LNAI），第u00a05110卷，第56\u201368页。Springer，Heidelberg（2008）“}，{“key”：“8_CR5”，“doi asserted by”：“publisher”，“doi”：“10.1017\/CBO9781107050884”，“卷标题”：“模态逻辑”，“作者”：“P.Blackburn”，“年份”：“2001”，“非结构化”：“Blackburn，P.，de Rijke，M.，Venema，Y.:模态逻辑。剑桥大学出版社，剑桥（2001）”}，{“key”：“8_CR6”，“卷标题”：“模态逻辑手册”，“年份”：“2006年”，“非结构化”：“Blackburn，P.，Wolter，F.，van Benthem，J.（编辑）：模态逻辑手册。Elsevier，Amsterdam（2006）“}，{“key”：“8_CR7”，“unstructured”：“Carreiro，F.：模态一阶碎片中的表征和可定义性。硕士论文，布宜诺斯艾利斯大学，arXiv:1011.4718（2010）”}，“key“：”8_CR8“，“volume-title”：“模型理论、逻辑研究和数学基础”，“author”：“C.Chang”，“year”：“1990”，“非结构化”：“Chang，C.，Keisler，H.：模型理论，逻辑研究和数学基础，第三版。，第\u00a073卷。North-Holland Publishing Co.，Amsterdam（1990）“，“edition”：“3”}，{“key”：“8_CR9”，“volume-title”：“Basic model theory”，“author”：“K.Doets”，“year”：“1996”，“unstructured”：“Doets，K.：Basic model-theory.University of Chicago Press，Chicagoa（1996）”}Hoogland，E.：可定义性和插值：模型理论研究。博士论文，伊利诺伊州立大学。阿姆斯特丹大学（2001）“}，{“key”：“8_CR11”，“unstructured”：“Keisler，H.J.：超积结构。In:Proceedings of The Ultramath Conference，Pisa，Italy（2008）”}，“key“：”8_CR12“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-94-011-5694-3“，”volume-title“：”多维模态逻辑“，”author“：”M.Marx“，”“年份：”1997“，”非结构化“：”Marx，M.，Venema，Y.：多维模态逻辑。Kluwer，Dordrecht（1997）“}，{“key”：“8_CR13”，“unstructured”：“Mera，S.：模态记忆逻辑博士论文，布宜诺斯艾利斯大学\u00e9 Henri Poincare，阿根廷布宜诺斯艾利斯（2009）”}，}，“key“：”8_CR14“，”doi-asserted-by“：”crossref“，”unstructure“：”ten Cate，B.：扩展模态语言的模型理论。阿姆斯特丹大学，ILLC出版物，博士论文系列，阿姆斯特丹（2005），“DOI”：“10.2178”，{“key”：“8_CR15”，“unstructured”：“Venema，Y.：Ultrafilter unions:an exercise in modal definitability”。摘自：第一届逻辑与语言研讨会，第303\u2013310页。塞维利亚大学（2000）“}]，“容器-时间”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3642-20920-8_8”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2019,5,23]]，“date-time”：“2019-05-23T01:35:08Z”，“timestamp”：1558575308000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com\/10007\/978-3642-20920-8_8“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-parts”：[2011]}，《ISBN》：[“97836464]2209192“，”9783642209208“]，”references-count“：15，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-20920-8_8“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2011】】}}}}