{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,1,30]]，“日期-时间”：“2024-01-30T21:40:09Z”，“时间戳”：1706650809226}，“引用-计数”：0，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1986,10,1]]}，”DOI“：”10.1305\/ndjfl\/1093636765“，”type“：”journal-article“，”created“：”{“date-part”：[[2005,12,13]]，“date-time”：“2005-12-13T10:15:41Z”，“timestamp”：1134468941000}，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“有限Kripke模型${\\rm HA}$是本地${\\rma PA}$。“]，”前缀“：”10.1215“，”卷“：”27“，”作者“：[{”给定“：”E.C.W.“，”家族“：”Krabbe“，”序列“：”first“，”affiliation“：[]}，{”given“：”H.“，”family“：”Mulder“，”sequence“：”additional“，”abfiliation“，”sequence“：”additional“，”affiliation“：[]}]，”成员“：”73“，”container-title“：[”Notre Dame Journal of Formal Logic“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/projecteuclid.org\/journalArticle\/Download？urlid=10.1305\/ndjfl\/1093636765“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,1,30]]，”date-ports时间“：”2024-01-30T21:09:17Z“，”timestamp“：1706648957000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/projecteuclid.org\/journals\/note-dame-journal-of-formal-logic\/volume-27\/issue-4\/Finite-Kripke-models-of-rm-HA-are-locally-rm-PA\/10.1305\/ndjfl\/1093636765.full”}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1986,10,1]]}，“参考文献计数“：0，”期刊“：｛”期刊“：“4”，”在线发布“：｛”日期部分“：[[1986,10,1]]｝｝，”URL“：”http:\/\/dx.doi.org/10.1305\/ndjfl\/109636765“，”关系“：｛｝，”ISSN“：[”0029-4527“]，”ISSN类型“：[｛”值“：”0029-4527“，”类型“：”打印“｝]，”主题“：[]，”已发布“：｛”日期部分“：[[1986,10,10 1]]｝｝