｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,1,30]，“日期时间”：“2024-01-30T21:40:09Z”，“时间戳”：1706650809668｝，“引用计数”：0，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1986,10,1]]}，”DOI“：”10.1305\/ndjfl\/1093636764“，”type“：”journal-article“，”created“：{”date-parts“：[[2005,12,13]]，”date-time“：”2005-12-13T10:14:47Z“，”timestamp“：1134468887000}，“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“Kripke-type语义对于da Costa的次一致逻辑${\\rm C}_\\欧米茄$。“]，”prefix“：”10.1215“，”volume“：”27“，”author“：[{”given“：“Matthias”，”family“：”Baaz“，”sequence“：”first“，”affiliation“：[]}]，”member“：”73“，”container-title“：[”Notre Dame Journal of Formal Logic“]，“original-title”：[]，”link“：[}”URL“：”https:\//projecteuclid.org\/journalArticle\/下载？urlid=10.1305\/ndjfl\/1093636 764“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,1,30]]，”date-time“：”2024-01-30T21:09:16Z“，”timestamp“：1706648956000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-27\/issue-4\/Kripke-type-semantics-for-da-Costas-paraconsistent-logic-rm-C_omega\/10.10305\/ndjfl\/1093636764.full“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[[1986,10,1]]}，“引用计数”：0，“日志发布”：{“发布”：“”4“，”在线发布“：{”date-parts“：[[1986,10,1]]}}，”URL“：”http://\/dx.doi.org\/10.1305\/ndjfl\/1093636764“，”relation“：{}，“ISSN”：[“0029-4527”]，“ISSN-type”：[{“value”：“0029-4.527”，“type”:“print”}]，“subject”：【】，“published”：{“date-part”：[1986,10,1]]{}}}}