{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:11:41Z","timestamp":1725538301791},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048920"},{"type":"electronic","value":"9783642048937"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04893-7_30","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T02:11:09Z","timestamp":1253931069000},"page":"323-324","source":"Crossref","is-referenced-by-count":0,"title":["Modal Expressivity and Definability over Sets"],"prefix":"10.1007","author":[{"given":"Jing","family":"Shi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Aczel, P.: Non-Well-Founded Sets. Stanford CSLI publications (1988)"},{"key":"30_CR2","unstructured":"Baltag, A.: STS: A Structural Theory of Sets. Ph.D. dissertation, Indiana University (1998)"},{"key":"30_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"30_CR4","unstructured":"Segerberg, K.: An Essay in Classical Modal Logic. Filosofiska Studier 13, University of Uppsala (1971)"},{"key":"30_CR5","volume-title":"Set Theory","author":"T. Jech","year":"2003","unstructured":"Jech, T.: Set Theory. Springer, Heidelberg (2003)"},{"key":"30_CR6","volume-title":"Vicious Circles: On the Mathematics of Non-Well-Founded Phenomena","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Well-Founded Phenomena. CSLI publications, Stanford (1996)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04893-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:13:23Z","timestamp":1552173203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04893-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048920","9783642048937"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04893-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}