{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,11,9]]，“日期时间”：“2023-11-09T21:19:24Z”，“时间戳”：1699564764912}，“引用计数”：34，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,8]]}，“DOI”：“10.1109\/lics.2009.39”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,9,9]]，“date-time”：“2009-09-09T19:32:57Z”，“timestamp”：125252477000}，“source”：《Crossref》，“is-referenced-by-count”：17，“title”：[“关于具有等价关系的二变量一阶逻辑的有限可满足性”]，“前缀”：“101109”，“author”：[{“给定”：“Emanuel”，“family”：“Kieronski”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Lidia”，“家族”：“Tendra”，“serquence”:“additional”，“fessiliation”:[]}]，“member”：“263”，“reference”：[{“key”:“19”，“author”：“kazakov”，“year”：“2006”，“journal-title”：“基于饱和度的警戒碎片扩展决策程序”}，}，doi-asserted-by“：“publisher”，“DOI”：“10.1016\/S0304-3975（98）00308-9”}，{“key”：“18”，“first page”：”137“，”article-title“：”分布式环境中的知识和常识“，”volume“：“32”，“author”：“halpern”，“year”：“1985”，“journal-title”：“journal of the ACM”}0\/dimacs\/031\/05“，“article-title”：“为什么模态逻辑如此可靠地可判定？”，“volume”：“31”，“author”：“vardi”，“year”：“1997”，“journal-title“：”DIMACS Series in Discrete Mathematics and Theory Computer Science“}，{“key”：”15“，”first page“：”91：“哲学逻辑方面”}，{“key”：“34”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TAP.2005.846816”}新闻标题“：“Proc Int Conf On Very Large Data Bases”}，{“key”：“14”，“doi-asserted-by”：“crossref”，“first page”：”52“，“doi”：“10.1007\/BFb0025774”，“article-title”：“design and synthesis of synchronization skeletons using branching time temporal logic”，“volume”：：“131”，”author：“clarke”，“year”：“1981”，“journal-title“：”“Proc Workshop On logic of Programs”}，{”key“11”，“首页”：“325”，“文章标题”：“信念和行动的实践研究认证”，“作者”：“洞穴”，“年份”：“1988”，“期刊标题”：《知识推理理论方面的第二次会议》}，{“关键”：“12”，“作家”：“加尔瓦内塞”，“年”：“1996”，“杂志标题”：“基于类的表示形式化中的无限制和有限模型推理”}，{“key”：“21”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2005.49”}，{“key”：“23”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/0022-0000（80）90027-6”}，{“key”：“24”，“首页”：“374”，“article-title”：“on the logic of complete information”，“volume”：”53“，“author”：“lipski”，“year”：“1977”，“journal-title“：“Proc Sixth Int Symption on Mathematical Foundations of Computer Science”}“，”年份“：”1969年“，“journal-title”：“从人工智能的角度来看的一些哲学问题”}，{“key”：“26”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/malq.19750210118”}2010.08.004“}，{“键”：“29”，“doi-asserted-by”：“crossref”，“first page”：“685”，“doi”：“10.2307\/2695037”，“article-title”：“有序域上的两变量一阶逻辑”，“volume”：”66“，“author”：“otto”，“year”：“2001”，“journal-title“：”journal of Symbolic logic“}，{”key“：”3“author:”bechhofer“，”year“：”0“，”日记标题“：”OWL Web本体语言参考“}”，{“key”：“2”，“作者”：“baader”，“year”：“2003”，“期刊标题”：“Editors The Description Logic Handbook Theory Implementation and Applications”}，{“key”：“10”，“doi asserted by”：“publisher”，“doi”：“10.1016\/B978-1-4832-1453-5.5019-2”}，{“key”：“1”，“首页”：“23”，“文章标题”：“术语逻辑”，“卷”：“3”，“作者”：“baader”，“year”：“1992”，“期刊标题”：“KI”}，{“key”：“30”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/322276.32287”}，{“密钥”：“7”，“doi-asserte-by”：“publisher”，“DI:”10.1145\/11422351.1142354“}，}“密钥“：”6“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/LICS.2006.51“}”，{”key“：”32“，”首页“：”109“，“article-title”：“floyd-hoare逻辑的语义考虑”，“author”：“pratt”，“year”：“1976”，“journal-title”：“第17届IEEE计算机科学基础研讨会”}，{“key”：“5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01049415”}/jigpal \/8.3.339“，”文章标题“：“表示推理和关系结构：混合逻辑宣言”，“卷”：“3”，“作者”：“blackburn”，“年份”：“2000”，“期刊标题”：“IGPL的逻辑期刊”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-59207-2”}、{“密钥”：“8”，“doi-asserted-by”:“publishers”，“DI:”10.1016\/0004-3702（96）4-50000“}]，“事件”：{“名称”：“2009年第24届IEEE计算机科学逻辑研讨会（LICS）”，“地点”：“美国加利福尼亚州洛杉矶”，“开始”：{“date-parts”：[[2009,8,11]]}，“结束”：{“date-parts”：[[2009,8,14]]}}，”container-title“：[”2009年第二十四届IEEE计算科学逻辑研讨会“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/5230547\/5230588.pdf？arnumber=5230588”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,22]]，“date-time”：”2019-05-22T13:18:07Z“timestamp”：1558531087000}，“score”：1，“resource”：{“primary”（主要）:{“URL”（URL）：“http://\/ieeexplore.iee.org\/document\/5230588\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2009,8]]}，”引用计数“：34，”URL“：”http://\/dx.doi.org\/10.109\/lics.2009.39“，”关系“：{}”，“主题”：[]]，“发布”：“日期-零件”：[2009,8]}}}}}