{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T23:48:18Z","timestamp":1771544898797,"version":"3.50.1"},"reference-count":2,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2004,1,1]]},"DOI":"10.1305\/ndjfl\/1094155276","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T14:31:37Z","timestamp":1099405897000},"source":"Crossref","is-referenced-by-count":6,"title":["A Simple Embedding of T into Double S5"],"prefix":"10.1215","volume":"45","author":[{"given":"Steven","family":"Kuhn","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Antonelli, G. A., and R. H. Thomason, \"Representability in second-order propositional poly-modal logic\", <i>The Journal of Symbolic Logic<\/i>, vol. 67 (2002), pp. 1039--1054.","DOI":"10.2178\/jsl\/1190150147"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Fine, K., \"Propositional quantifiers in modal logic\", <i>Theoria<\/i>, vol. 36 (1970), pp. 336--46.","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1094155276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:56:06Z","timestamp":1706648166000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-45\/issue-1\/A-Simple-Embedding-of-T-into-Double-S5\/10.1305\/ndjfl\/1094155276.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1,1]]},"references-count":2,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2004,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1094155276","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2004,1,1]]}}}