{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:40:21Z","timestamp":1648741221444},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9963,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1986,12]]},"DOI":"10.2307\/2273930","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:19:27Z","timestamp":1146953967000},"page":"1085-1092","source":"Crossref","is-referenced-by-count":0,"title":["Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985"],"prefix":"10.1017","volume":"51","author":[{"given":"Martin","family":"Davis","sequence":"first","affiliation":[]},{"given":"Edgar E. K.","family":"Lopez-Escobar","sequence":"additional","affiliation":[]},{"given":"Wilfred","family":"Sieg","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200030656_ref021","first-page":"167","volume-title":"Mathematical foundations of computer science","volume":"2","year":"1977"},{"key":"S0022481200030656_ref004","first-page":"323","volume-title":"Historical and philosophical dimensions of logic, methodology and philosophy of science (Proceedings of the fifth international congress, London, Ontario, 1975","year":"1977"},{"key":"S0022481200030656_ref009","first-page":"324","volume":"6","year":"1985","journal-title":"Abstracts of Papers Presented to the American Mathematical Society"},{"key":"S0022481200030656_ref008","volume-title":"Introduction to metamathematics","year":"1971"},{"key":"S0022481200030656_ref007","first-page":"435","volume":"22","year":"1979","journal-title":"Logique et Analyse (Nouvelle S\u00e9rie)"},{"key":"S0022481200030656_ref006","volume-title":"Truth-functional logic","year":"1962"},{"key":"S0022481200030656_ref005","first-page":"17","volume":"38","year":"1982","journal-title":"Semiotica"},{"key":"S0022481200030656_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90020-2"},{"key":"S0022481200030656_ref002","first-page":"73","volume-title":"Logic Colloquium '73","year":"1975"},{"key":"S0022481200030656_ref001","doi-asserted-by":"publisher","DOI":"10.1145\/322358.322370"},{"key":"S0022481200030656_ref019","volume-title":"Automatic information organization and retrieval","year":"1968"},{"key":"S0022481200030656_ref018","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/FI-1985-8108","volume":"8","year":"1985","journal-title":"Fundamenta Informaticae"},{"key":"S0022481200030656_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90077-3"},{"key":"S0022481200030656_ref016","first-page":"33","volume-title":"Data base systems (sixth courant computer science symposium","year":"1972"},{"key":"S0022481200030656_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90102-4"},{"key":"S0022481200030656_ref014","first-page":"1","volume":"91","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200030656_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066773"},{"key":"S0022481200030656_ref012","volume-title":"Mathematics: form and function","year":"1985"},{"key":"S0022481200030656_ref011","volume-title":"Combinatory logic","volume":"1","year":"1958"},{"key":"S0022481200030656_ref010","first-page":"848","volume":"51","year":"1986","journal-title":"Variable-domain models for normal first-order modal logics with identity and individual constants"},{"key":"S0022481200030656_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200030656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:24:27Z","timestamp":1627331067000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200030656\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["S0022481200030656"],"URL":"https:\/\/doi.org\/10.2307\/2273930","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}