{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:32Z","timestamp":1725475892418},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_2","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"19-39","source":"Crossref","is-referenced-by-count":4,"title":["Modality and Databases"],"prefix":"10.1007","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Fitting, M.C.: Types, Tableaus, and G\u00f6del\u2019s God (2000), Available on my website comet.lehman.cuny.edu\/fitting","key":"2_CR1"},{"doi-asserted-by":"crossref","unstructured":"Fitting, M.C., Mendelsohn, R.: First-Order Modal Logic. Kluwer, Dordrecht (1998); Paperback (1999)","key":"2_CR2","DOI":"10.1007\/978-94-011-5292-1"},{"key":"2_CR3","volume-title":"Naming and Necessity","author":"S. Kripke","year":"1980","unstructured":"Kripke, S.: Naming and Necessity. Harvard University Press, Cambridge (1980)"},{"key":"2_CR4","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a01. Computer Science Press, Rockville (1988)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:46:59Z","timestamp":1556020019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/10722086_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}