{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:39:50Z","timestamp":1648582790616},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T00:00:00Z","timestamp":1112313600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,4]]},"DOI":"10.1007\/s11225-005-3610-y","type":"journal-article","created":{"date-parts":[[2005,6,8]],"date-time":"2005-06-08T08:12:21Z","timestamp":1118218341000},"page":"317-355","source":"Crossref","is-referenced-by-count":4,"title":["Semantic Analysis of some Variants of Anderson-like Ontological Proofs"],"prefix":"10.1007","volume":"79","author":[{"given":"Miroslaw","family":"Szatkowski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3610_CR1","doi-asserted-by":"crossref","first-page":"291","DOI":"10.5840\/faithphil19907325","volume":"7","author":"C.A. ANDERSON","year":"1990","unstructured":"ANDERSON, C.A., \u2018Some Emendations of G\u00f6del\u2019s Ontological Proof\u2019, Faith and Philosophy 7 (1990), 291\u2013303.","journal-title":"Faith and Philosophy"},{"key":"3610_CR2","first-page":"167","volume-title":"G\u00f6del\u201996","author":"C.A. ANDERSON","year":"1996","unstructured":"ANDERSON, C.A., AND M. GETTINGS, \u2018G\u00f6del\u2019s Ontological Proof Revisited\u2019, in P. H\u00e1jek, (ed.), G\u00f6del\u201996, Springer, Berlin, 1996, pp. 167\u2013172."},{"key":"3610_CR3","volume-title":"Meaning and necessity, a study in semantics and modal logic","author":"R. CARNAP","year":"1947","unstructured":"CARNAP, R., Meaning and necessity, a study in semantics and modal logic, University of Chicago Press, Chicago, 1947."},{"key":"3610_CR4","first-page":"859","volume-title":"The Philosophy of Rudolf Carnap, vol. 11 of Library of Living Philosophers","author":"R. CARNAP","year":"1986","unstructured":"CARNAP, R., \u2018Replies and Systematic Expositions\u2019, in P.A. Schilpp, (ed.), The Philosophy of Rudolf Carnap, vol. 11 of Library of Living Philosophers, Cambridge University Press, London, 1986, pp. 859\u2013999."},{"key":"3610_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0411-4","volume-title":"Types, Tableaus, and G\u00f6del\u2019s God","author":"M.C. FITTING","year":"2002","unstructured":"Fitting, M.C., Types, Tableaus, and G\u00f6del\u2019s God, Kluwer Academic Publishers, Dordrecht\/Boston\/London, 2002."},{"key":"3610_CR6","first-page":"403","volume-title":"Kurt Godel Collected Works, vol. III","author":"K. GODEL","year":"1995","unstructured":"GODEL, K., \u2018Ontological proof\u2019, in S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons, and R.M. Solovay, (eds.), Kurt Godel Collected Works, vol. III, Oxford University Press, New York and Oxford, 1995, pp. 403\u2013404."},{"key":"3610_CR7","doi-asserted-by":"crossref","unstructured":"H\u00c1JEK, P., \u2018Magari and others on G\u00f6del\u2019s ontological proof\u2019, in A. Ursini and P. Agliano, (eds.), Logic and Algebra, Marcel Dekker, Inc., 1996, pp. 125\u2013135.","DOI":"10.1201\/9780203748671-5"},{"key":"3610_CR8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1016583920890","volume":"71","author":"P. H\u00c1JEK","year":"2002","unstructured":"H\u00c1JEK, P., \u2018A new small emandation of G\u00f6del\u2019s ontological proof\u2019, Studia Logica 71 (2002), 149\u2013164.","journal-title":"Studia Logica"},{"key":"3610_CR9","unstructured":"H\u00c1JEK, P., \u2018Der Mathematiker und die Frage der Existenz Gottes\u2019, in B. Buld et al., (eds.), Kurt Godel \u2013 Wahrheit und Beweisbarkeit II, \u00d6BV et HPT, Wien, 2002, pp. 325\u2013335."},{"key":"3610_CR10","unstructured":"HUGHES, G. E., and M. J. CRESSWELL, An Introduction to Modal Logic, London, 1968."},{"key":"3610_CR11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1305\/ndjfl\/1093956251","volume":"8","author":"K. LAMBERT","year":"1976","unstructured":"LAMBERT, K., \u2018Free logic and the concept of existence\u2019, Notre Dame Journal of Formal Logic 8 (1976), 133\u2013144.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"3610_CR12","first-page":"625","volume-title":"Handbook of Metaphysics and Ontology, vol. II","author":"J. PERZANOWSKI","year":"1991","unstructured":"PERZANOWSKI, J., \u2018Ontological Arguments II: Cartesian and Leibnizian\u2019, in H. Burkhardt and B. Smith, (eds.), Handbook of Metaphysics and Ontology, vol. II, Philosophia, Munich\/Philadelphia\/Vienna, 1991, pp. 625\u2013633."},{"key":"3610_CR13","first-page":"241","volume-title":"On Being and Saying: essays for Richard Cartwright","author":"J.H. SOBEL","year":"1987","unstructured":"SOBEL, J.H., \u2018G\u00f6del\u2019s Ontological Argument\u2019, in J. J. Thomson, (ed.), On Being and Saying: essays for Richard Cartwright, MIT Press, Cambridge MA, 1987, pp. 241\u2013261."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3610-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-3610-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3610-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T15:37:04Z","timestamp":1586273824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-3610-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,4]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,4]]}},"alternative-id":["3610"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-3610-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,4]]}}}