{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T01:37:45Z”，“时间戳”：1648949865046}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“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_15”，“type”：“book-capter”，“created”：{”date-part“：[[2011，4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”123-134“，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”Hybrid Logics and NP Graph Properties“]，”prefix“：“10.1007”，“作者”：[{“给定”：“Francillber Martins”，“family”：“Ferreira”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Cibele Matos”，“家族”：“Freire”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Mario R.F”，“家庭”：“Benevides”，”sequence“：”additional“，”affiliance“：[]{”given“give”：“L.Menasch\u00e9”，“家人”：“Schechter”，“顺序”：“附加“，”从属“：[]}，{”给定“：“Ana Teresa”，“family”：“Martins”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“issue”：“3”，“key”：“15_CR1”，“doi-asserted-by”：”publisher“，”first page“：”977“，”doi“：”10.2307\/2695090“，”volume“66”，“author”：“C.Areces”，“year”：“2001”，“unstructured”：“Areces，C.，Blackburn，P.，Marx，M.：混合逻辑：表征、内插和复杂性。符号逻辑杂志\u00a066（3），977\u20131010（2001）”，“期刊标题”：“符号逻辑杂志”}，{“key”：“15_CR2”，“doi-asserted-by”：“publisher”，“first page”：《821》，“doi”：“10.1016\/S1570-2464（07）80017-6”，“volume-title”：“模态逻辑手册”，“作者”：“C.Areces”，“年份”：“2007年”，“非结构化”：“Areces，C.，ten Cate，B.：混合逻辑。收录：Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）《模态逻辑手册》，第u00a03卷，第821\u2013868页。Elsevier Science Ltd.，Amsterdam（2007）“}，{“key”：“15_CR3”，“volume-title”：“分布式算法简介”，“author”：“V.Barbosa”，“year”：“1996”，“unstructured”：“Barbosa，V.：分布式算法简介。麻省理工出版社，剑桥（1996）”}，}“issue”：“5”，“key“：”15_CR4“doi-asserted-by”：“publisher”，“first page”：”559“，“doi”：“10.1093\/jigpal \/jzp021“，“volume”：“17”，“author”：“M.Benevides”，“year”：“2009”，“unstructured”：“Benevides.M.，Schechter，L.：使用模态逻辑来表示和检查全局图形属性。《IGPL\u00a017逻辑期刊》（5），559（2009）“，“期刊标题”：“IGPL逻辑期刊”}，{“key”：“15_CR5”，“volume-title”：“模态逻辑”，“author”：“P.Blackburn”，“year”：“2002”，“unstructured”：“Blackburn.，P.，De Rijke，M.，Venema，Y.：模态逻辑。剑桥大学出版社（2002）”}“：”721“，”DOI“：”10.1016\/S1570-2464（07）80015-2“，”卷“：”3“，”作者“：”J.Bradfield“，”年份“：”2007“，”非结构化“：”Bradfielt，J.，Stirling，C.：Modal mu-calculi。模态逻辑手册\u00a03，721\u2013756（2007）“，“journal-title”：“模态逻辑手册”}，{“key”：“15_CR7”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9781-4757-2355-7”，《volume-title》：“数理逻辑”，“author”：“H.Ebbinghaus”，“year”：“1994”，“unstructured”：“Ebbinghaus，H.，Flum，J.，Thomas，W.：数理逻辑。Springer，Heidelberg（1994）“}，{”key“：”15_CR8“，”series-title“：“SIAM-AMS Proceedings”，“first page”：“43”，“volume-title”：“Computeration的复杂性”，“author”：“R.Fagin”，“year”：“1974”，“unstructured”：“Fagin，R.：广义一阶谱和多项式时间可识别集。In:Karp，R.（ed.）计算的复杂性。SIAM-AMS会议记录，第u00a07卷，第43\u201373页。AMS，Providence（1974）“}，{”key“：”15_CR9“，”series-title“：“迈入21世纪”，”首页“：”393“，”volume-title“：”理论计算机科学的当前趋势“，”author“：”E.Gr\u00e4del“，”year“：”2001“，”unstructured“：”Gr\u001e4Del，E.：为什么模态逻辑可以如此稳健地判定？in:Paun，G.，Rozenberg，G..，Salomaa，A.（eds.）理论计算机科学的当前趋势。进入21世纪，第393\u2013408页。世界科学，新加坡（2001）“}，{”key“：”15_CR10“，”series-title“：”当代数学“，”volume-title“：“每个平面图都有四种颜色”，“author”：“W.Haken”，“year”：“1989”，“unstructured”：“Haken，W.，Appel，K.，Koch，J.：每个平面图是四种颜色的。当代数学，vol.\u00a098。美国数学学会，普罗维登斯（1989）“}，{“key”：“15_CR11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-1-4612-0539-5”，“volume-title”：“描述性复杂性”，“author”：“N.Immerman”，“year”：“1999”，“unstructured”：“Immerman，N.：描述性复杂度。Springer，Heidelberg（1999）”}，}“key”：分布式算法”，“作者”：“N.Lynch”，“年份”：“1996年”，“非结构化”：“Lynch，N.：分布式算法。Morgan Kaufmann，San Francisco（1996）“}，{”key“：”15_CR13“，”volume-title“：”计算复杂性“，”author“：”C.Papadimitriou“，”year“：”2003“，”unstructured“：”Papadimtriou，C.：”计算复杂度“。John Wiley and Sons Ltd.，Chichester（2003）”}，}，“issue”：“1”，“key”：“15_CR14”，“doi-asserted-by”：“publisher”，“first-page”：“2”，“doi”：“”10.1006 \/jctb.1997.1750“，”volume“：”70“，”author“：”N.Robertson“，”year“：”1997“，”unstructured“：”Robertson，N.，Sanders，D.，Seymour，P.，Thomas，R.：四色定理。《组合理论杂志》，B辑\u00a070（1），2辑\u 201344（1997）“，“期刊标题”：“组合理论杂志，系列B”}，{“key”：“15_CR15”，“Series-title”：“离散数学与理论计算机科学”，“doi-asserted-by”：“publisher”，“first page”：”149“，“doi”：“10.1090”，“dimacs”，“volume-title”：描述性复杂性和有限模型”，“作者”：“M.Vardi”，“年份”：“1996年”，“非结构化”：“Vardi，M.：为什么模态逻辑如此可靠地可判定。In：Immerman，N.，Kolaitis，P.G.（编辑）描述复杂性和有限模型。《离散数学与理论计算机科学》，卷\u00a031，第149\u2013184页。美国数学学会，普罗维登斯（1996）“}”，“容器-时间”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_15”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2019,5,23]]，“日期-时间”：“2019-05-23T06:06:59Z”，“时间戳”：1558591619000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-3642-20920-8_15”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2011年]]}，“ISBN”：[“9783642209192”，“978364 2209208”]，“references-count“：15，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-20920-8_15“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-349“，”types“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2011】】}}}