{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T14:45:26Z","timestamp":1648651526848},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1977,1]]},"DOI":"10.1007\/bf00262046","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T18:47:33Z","timestamp":1096310853000},"page":"1-31","source":"Crossref","is-referenced-by-count":3,"title":["Classical second-order intensional logic with maximal propositions"],"prefix":"10.1007","volume":"6","author":[{"given":"Charles B.","family":"Daniels","sequence":"first","affiliation":[]},{"given":"James B.","family":"Freeman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF00262046_CR1","volume-title":"Introduction to Mathematical Logic","author":"Alonzo Church","year":"1956","unstructured":"Church, Alonzo, Introduction to Mathematical Logic, Princeton University Press, Princeton, 1956."},{"key":"BF00262046_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.2307\/2216147","volume":"6","author":"Nino B. Cocchiarella","year":"1972","unstructured":"Cocchiarella, Nino B., \u2018Properties as Individuals in Formal Ontology\u2019, Nous 6 (1972), 165\u2013187.","journal-title":"Nous"},{"key":"BF00262046_CR3","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1111\/j.1755-2567.1970.tb00433.x","volume":"36","author":"M. J. Cresswell","year":"1970","unstructured":"Cresswell, M. J., \u2018Classical Intensional Logics\u2019, Theoria 36 (1970), 347\u2013372.","journal-title":"Theoria"},{"key":"BF00262046_CR4","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/malq.19720181904","volume":"18","author":"M. J. Cresswell","year":"1972","unstructured":"Cresswell, M. J., \u2018Second-Order Intensional Logic\u2019, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 18 (1972), 297\u2013320.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"BF00262046_CR5","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","volume":"36","author":"Kit Fine","year":"1970","unstructured":"Fine, Kit, \u2018Propositional Quantifiers in Modal Logic\u2019, Theoria 36 (1970), 336\u2013346.","journal-title":"Theoria"},{"key":"BF00262046_CR6","first-page":"42","volume-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"Gottlob Frege","year":"1966","unstructured":"Frege, Gottlob, \u2018On Concept and Object\u2019, Translations from the Philosophical Writings of Gottlob Frege (ed. by Peter Geach and Max Black), Basil Blackwell, Oxford, 1966, pp. 42\u201355."},{"key":"BF00262046_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2267403","volume":"18","author":"Leon Henkin","year":"1953","unstructured":"Henkin, Leon, \u2018Banishing the Rule of Substitution for Functional Variables\u2019, The Journal of Symbolic Logic 18 (1953), 201\u2013208.","journal-title":"The Journal of Symbolic Logic"},{"key":"BF00262046_CR8","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen and Co., Ltd., London, 1968."},{"key":"BF00262046_CR9","volume-title":"Introduction to Mathematical Logic","author":"Elliott Mendelson","year":"1964","unstructured":"Mendelson, Elliott, Introduction to Mathematical Logic, D. van Nostrand Company, Inc., Princeton, 1964."},{"key":"BF00262046_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"Arthur Prior","year":"1967","unstructured":"Prior, Arthur, Past, Present, and Future, The Clarendon Press, Oxford, 1967."},{"key":"BF00262046_CR11","volume-title":"Word and Object","author":"W. V. O. Quine","year":"1960","unstructured":"Quine, W. V. O., Word and Object, The M. I. T. Press, Cambridge, Mass., 1960."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00262046\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T13:13:52Z","timestamp":1554297232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00262046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,1]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1977,1]]}},"alternative-id":["BF00262046"],"URL":"https:\/\/doi.org\/10.1007\/bf00262046","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,1]]}}}