{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,12]，“日期-时间”：“2023-10-12T07:01:38Z”，“时间戳”：1697094098799}，“引用-计数”：27，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2023,6,26]]，“日期时间”：”：“2033-06-26T00:00:00Z“，”timestamp“：1687737600000}，”content-version“：“stm-asf”，“delay-in-days”：0，“URL”：“https:\\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2023,6,26]]，“date-time”：“2023-06-26T00:00:00Z”，“timestamp”：1687737600000}，“content-version”：“stm-asf”、“delay-in-days“：0，”URL“https://doi.org\/10.152 23\/plicy-0323”7“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2023,6,26]]}，“DOI”：“10.1109\/lics56636.2023.10175784”，“type”：“proceedings-article”，“created”：{-“date-parts”：[[2023,7,14]，“date-time”：“2023-07-14T17:18:23Z”，“timestamp”：1689355103000}，”source“Crossref”，“is-referenced-by-count”：1，“title”：[“半球空间上的不动点逻辑”]，“前缀”：“10.1109”，“作者”：[{“给定”：“大卫”，“家族”：“Fern\u00e1ndez-Duque”，”sequence“：”first“，”affiliation“：[{name“：”巴塞罗那大学、西班牙捷克科学院、捷克共和国布拉格巴塞罗那哲学系计算机科学研究所“}]}，{given“：”Quentin“，”family“：”Gougeon“，“sequence”：“additional”，“affiliance”：[｛“name”：“Toulouse University，Institut de Recherche en Information que de Toulouse CNRS-INPT-UT3，Toulouse，France”｝]，“member”：“263”，“reference”：[｛“key”：“ref13”，“doi asserted by”：“publisher”，“doi”：“10.1016\/j.apal.2016.11.006”｝，｛“key”：“ref12”，“first page”：“827”，“文章标题”：“空间µ-微积分子系统中的简洁性”，“volume”：“5”，“author”：“fern\u00e1ndez-duque”，“year”：“2018”，“journal-title”：“journal of Applied Logics–IfCoLog journal ofLogics and their Applications”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，”doi“：”10.1017\/CBO9781139524438.006“}，“key“：”ref14“，”doi-assert-by“：”publisher“，”doi:“10.1007\/978-3-540-78499-9_5”}、{“key”：“ref11”，“doi-asserted-by”：“publisher”，“DOI”：“10.2178 \/jsl \/1344862169”}，{“key”：“ref10”，“article-title”：“空间推理的复杂模态逻辑”，“author”：“fern\u00e1ndez-duque”，《年份》：“2011年”，《新闻标题》：“第二十届国际人工智能联合会议”}：“1976”，“journal-title”：“博士论文”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS52264.2021.9470560”}60“}，{”key“：”ref19“，”doi-asserted-by“：”publisher“，”doi“：“10.2307\/1969080”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/exr054”}“，”doi-asserted-by“：“publisher”，“DOI”：“10.1023\/A:1008275906015”}，{“key”：“ref26”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/978-1-4612-6290-9“}，}“key:”ref25“，”article-title“：”欧几里德空间和模态逻辑中的派生集“，”author“：”shehtman“，”year“：”1990“，”journal-title”：“ILLC预印本和出版物X-1990-05”}、{“key”：“ref20”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-031-15298-6_13”}，{“key”：“ref22”，“author”：“rasiowa”，“year”：“1963”，“journal-title”：“元数学的数学”}500-023-07872-z“}，{“键”：“参考8”，“首页”：“199”，“article-title”：“‘finally’的直观公理化”，“author”：“di\u00e9guez”，“year”：“2018”，“journal-title“：“Advances in Modal Logic”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.apal.2009.04.002”}}，{“键”：“参考4”，“首页”：“16”，“article-title”：“d-semantics中的谱和T0-spaces”，“author”：“bezhanishvili”，“year”：“2009”，“journal-title“：“第比利斯逻辑语言与计算研讨会”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9781-4020-5587-4_5”}}，{“键”：“参考5”，“doi-asserted-by”：“publisher”，“doi”：“10.1215\/00294527-1716748”}]，“event”：{“name”：“2023年第38届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Boston，MA，USA”，“start”：{date-parts”：[2023,6,26]]}，“end”：{data-parts“：[[2023,6,29]]}}，”container-title“：[“2023年第38届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/10175635\/10175671\/10175784.pdf？arnumber=10175784”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2023年8月1日]]，“date-time”：“2023-08-01T17:59:17Z”，“timestamp”：1690912757000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/10175784\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2023,6]]}，‘references-count’：27，”URL“：”http://\/dx.doi org \/10.109 \/lics56636.2023.10175784“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2023,6,26]]}}