{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T23:25:28Z","timestamp":1773617128870,"version":"3.50.1"},"publisher-location":"Basel","reference-count":0,"publisher":"Springer Basel","isbn-type":[{"value":"9783764385033","type":"print"},{"value":"9783764385040","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-7643-8504-0","type":"book","created":{"date-parts":[[2013,11,20]],"date-time":"2013-11-20T13:16:14Z","timestamp":1384953374000},"source":"Crossref","is-referenced-by-count":12,"title":["Kripke\u2019s Worlds"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Gasquet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilal","family":"Said","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":[],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7643-8504-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7643-8504-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T16:53:28Z","timestamp":1676652808000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-7643-8504-0"}},"subtitle":["An Introduction to Modal Logics via Tableaux"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783764385033","9783764385040"],"references-count":0,"URL":"https:\/\/doi.org\/10.1007\/978-3-7643-8504-0","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}