{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:03Z","timestamp":1725484863179},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_3","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"41-52","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Databases and Higher Types"],"prefix":"10.1007","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"volume-title":"Kurt G\u00f6del Collected Works, Volume III, Unpublished Essays and Lectures","year":"1995","key":"3_CR1","unstructured":"S. Feferman, J. John W. Dawson, W. Goldfarb, C. Parsons, and R. N. Solovay, editors. Kurt G\u00f6del Collected Works, Volume III, Unpublished Essays and Lectures. Oxford University Press, New York, 1995."},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Modality and databases","author":"M. C. Fitting","year":"2000","unstructured":"M. C. Fitting. Modality and databases. Forthcoming, LNCS, Tableaux 2000, 2000."},{"key":"3_CR3","unstructured":"M. C. Fitting. Types, Tableaus, and G\u00f6del\u2019s God. 2000. Available on my web site: \n                    http:\/\/comet.lehman.cuny.edu\/fitting\n                    \n                  ."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Paperback, 1999.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"3_CR5","unstructured":"D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, 1975."},{"key":"3_CR6","first-page":"403","volume-title":"Kurt G\u00f6del Collected Works, Volume III, Unpublished Essays and Lectures","author":"K. G\u00f6del","year":"1995","unstructured":"K. G\u00f6del. Ontological proof. In J. John W. Dawson, W. Goldfarb, C. Parsons, and R. N. Solovay, editors. Kurt G\u00f6del Collected Works, Volume III, Unpublished Essays and Lectures. Oxford University Press, New York, 1995. Feferman et al. [1], pages 403\u2013404."},{"key":"3_CR7","unstructured":"S. Kripke. Naming and Necessity. Harvard University Press, 1980."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"159","DOI":"10.5840\/monist19695327","volume":"53","author":"R. Montague","year":"1960","unstructured":"R. Montague. On the nature of certain philosophical entities. The Monist, 53:159\u2013194, 1960. Reprinted in [11], 148\u2013187.","journal-title":"The Monist"},{"key":"3_CR9","unstructured":"R. Montague. Pragmatics. pages 102\u2013122. 1968. In Contemporary Philosophy: A Survey, R. Klibansky editor, Florence, La Nuova Italia Editrice, 1968. Reprinted in [11], 95\u2013118."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF00413599","volume":"22","author":"R. Montague","year":"1970","unstructured":"R. Montague. Pragmatics and intensional logic. Synth\u00e9se, 22:68\u201394, 1970. Reprinted in [11], 119\u2013147.","journal-title":"Synth\u00e9se"},{"volume-title":"Formal Philosophy, Selected Papers of Richard Montague","year":"1974","key":"3_CR11","unstructured":"R. H. Thomason, editor. Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven and London, 1974."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:30:06Z","timestamp":1558272606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}